doc: add domain to address of hostdev pci

libvirt supports pci domain already, so update the documentation.
Otherwise users who lookup the documentation for how to use hostdev may
miss the domain and encounter error when pass-through a pci device in a
domain other than 0.

Signed-off-by: Hu Tao <hutao@cn.fujitsu.com>

diff --git a/docs/formatdomain.html.in b/docs/formatdomain.html.in
index baef831b8df0d332235683f3ac74b387ab50d54b..bb6f710692abd00338f7c6332e52329114b534db 100644 (file)
--- a/docs/formatdomain.html.in
+++ b/docs/formatdomain.html.in
@@ -2778,7 +2778,7 @@
   <devices>
     <hostdev mode='subsystem' type='pci' managed='yes'>
       <source>
-        <address bus='0x06' slot='0x02' function='0x0'/>
+        <address domain='0x0000' bus='0x06' slot='0x02' function='0x0'/>
       </source>
       <boot order='1'/>
       <rom bar='on' file='/etc/fake/boot.bin'/>
@@ -2892,7 +2892,7 @@
       USB bus and device number the device appears at on the host.
       The values of these attributes can be given in decimal, hexadecimal
       (starting with 0x) or octal (starting with 0) form.
-      For PCI devices the element carries 3 attributes allowing to designate
+      For PCI devices the element carries 4 attributes allowing to designate
       the device as can be found with the <code>lspci</code> or
       with <code>virsh
       nodedev-list</code>. <a href="#elementsAddress">See above</a> for