docs: add domain vmport feature

A new feature that can be turned on or off.

The QEMU machine vmport option allows to set the VMWare IO port
emulation. This emulation is useful for absolute pointer input when the
guest has vmware input drivers, and is enabled by default for kvm.

However it is unnecessary for Spice-enabled VM, since the agent already
handles absolute pointer and multi-monitors. Furthermore, it prevents
Spice from switching to relative input since the regular ps/2 pointer
driver is replaced by the vmware driver. It is thus advised to disable
vmport when using a Spice VM. This will permit the Spice client to
switch from absolute to relative pointer, as it may be required for
certain games or applications.

docs/formatdomain.html.in

@@ -1539,6 +1539,12 @@
         performance monitoring unit for the guest.
         <span class="since">Since 1.2.12</span>
       </dd>
+      <dt><code>vmport</code></dt>
+      <dd>Depending on the <code>state</code> attribute (values <code>on</code>,
+        <code>off</code>, default <code>on</code>) enable or disable
+        the emulation of VMWare IO port, for vmmouse etc.
+        <span class="since">Since 1.2.16</span>
+      </dd>
     </dl>
 
     <h3><a name="elementsTime">Time keeping</a></h3>

docs/schemas/domaincommon.rng

@@ -4026,6 +4026,15 @@
           <optional>
             <ref name="pmu"/>
           </optional>
+          <optional>
+            <element name="vmport">
+              <optional>
+                <attribute name="state">
+                  <ref name="virOnOff"/>
+                </attribute>
+              </optional>
+            </element>
+          </optional>
         </interleave>
       </element>
     </optional>