diff --git a/docs/formatdomain.html.in b/docs/formatdomain.html.in index d90c57a3dbc0d77d5a19e42182e20b77d7d72d90..d39aee0af121439c68560f96782ea3e0d55713fe 100644 --- a/docs/formatdomain.html.in +++ b/docs/formatdomain.html.in @@ -954,7 +954,7 @@
... <devices> - <hostdev mode='subsystem' type='pci'> + <hostdev mode='subsystem' type='pci' managed='yes'> <source> <address bus='0x06' slot='0x02' function='0x0'/> </source> @@ -966,9 +966,11 @@
hostdev
hostdev
element is the main container for describing
- host devices. For usb device passthrough mode
is always
- "subsystem" and type
is "usb" for an USB device and "pci"
- for a PCI device..
+ host devices. For usb device passthrough mode
is always
+ "subsystem" and type
is "usb" for a USB device and "pci"
+ for a PCI device. When managed
is "yes" for a PIC
+ device, it is detached from the host before being passed on to
+ the guest.source