[libvirt] [PATCH v3 2/3] docs: Document virtio-mmio by default for mach-virt guests

[Andrea Bolognani]

---
 docs/formatdomain.html.in | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/docs/formatdomain.html.in b/docs/formatdomain.html.in
index f7bef51..01dd2b2 100644
--- a/docs/formatdomain.html.in
+++ b/docs/formatdomain.html.in
@@ -3255,7 +3255,13 @@
         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>
+        <span class="since">Since 1.1.3</span><br/>
+        If the guest architecture is <code>aarch64</code> and the machine
+        type is <code>virt</code>, libvirt will automatically assign PCI
+        addresses to devices; however, the presence of a single device
+        with virtio-mmio address in the guest configuration will cause
+        libvirt to assign virtio-mmio addresses to all further devices.
+        <span class="since">Since 3.0.0</span>
       </dd>
       <dt><code>isa</code></dt>
       <dd>ISA addresses have the following additional
-- 
2.7.4