docs: formatdomain: document virtio-mmio device addresses

diff --git a/docs/formatdomain.html.in b/docs/formatdomain.html.in
index fd2dd339c718eece81861e0c6927db5b85b98524..1336c826527be470b5bdb30c5187fd564772f70f 100644 (file)
--- a/docs/formatdomain.html.in
+++ b/docs/formatdomain.html.in
@@ -2980,6 +2980,13 @@
         set to 0xfe.
         <span class="since">Since 1.0.4</span>
       </dd>
+      <dt><code>virtio-mmio</code></dt>
+      <dd>This places the device on the virtio-mmio transport, which is
+        currently only available for some <code>armv7l</code> and
+        <code>aarch64</code> virtual machines. virtio-mmio addresses
+        do not have any additional attributes.
+        <span class="since">Since 1.1.3</span>
+      </dd>
       <dt><code>isa</code></dt>
       <dd>ISA addresses have the following additional
         attributes: <code>iobase</code> and <code>irq</code>.