From aa36a26eb3bd1e16c5086e2b914ebd58ab41c686 Mon Sep 17 00:00:00 2001
From: Andrea Bolognani <abologna@redhat.com>
Date: Fri, 23 Dec 2016 19:44:35 +0100
Subject: [PATCH] docs: Document virtio-pci by default for mach-virt guests

---
 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 e192b77d09..39f5a8823a 100644
--- a/docs/formatdomain.html.in
+++ b/docs/formatdomain.html.in
@@ -3262,7 +3262,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
-- 
GitLab