From 99f50208c9ff49bbb8b864407be02522976c1b4f Mon Sep 17 00:00:00 2001
From: Chunyan Liu <cyliu@suse.com>
Date: Thu, 8 May 2014 14:44:05 +0800
Subject: [PATCH] update documentation of <interface type='hostdev'>

<interface type='hostdev' managed='yes'> is supported, but
nowhere mentions 'managed' in <interface type='hostdev'> syntax.
Update documentation to cover it.

Signed-off-by: Chunyan Liu <cyliu@suse.com>
---
 docs/formatdomain.html.in | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/docs/formatdomain.html.in b/docs/formatdomain.html.in
index 4f19473c9c..76b2bc2950 100644
--- a/docs/formatdomain.html.in
+++ b/docs/formatdomain.html.in
@@ -3507,10 +3507,22 @@
       guest instead of &lt;interface type='hostdev'/&gt;.
     </p>
 
+    <p>
+      Similar to the functionality of a standard &lt;hostdev&gt; device,
+      when <code>managed</code> is "yes", it is detached from the host
+      before being passed on to the guest, and reattached to the host
+      after the guest exits. If <code>managed</code> is omitted or "no",
+      the user is responsible to call <code>virNodeDeviceDettach</code>
+      (or <code>virsh nodedev-dettach</code>) before starting the guest
+      or hot-plugging the device, and <code>virNodeDeviceReAttach</code>
+      (or <code>virsh nodedev-reattach</code>) after hot-unplug or
+      stopping the guest.
+    </p>
+
 <pre>
   ...
   &lt;devices&gt;
-    &lt;interface type='hostdev'&gt;
+    &lt;interface type='hostdev' managed='yes'&gt;
       &lt;driver name='vfio'/&gt;
       &lt;source&gt;
         &lt;address type='pci' domain='0x0000' bus='0x00' slot='0x07' function='0x0'/&gt;
-- 
2.47.3