docs: List possible GIC versions

Recent changes to the handling of GIC version, specifically commit
2a7b11eafb67, have clearly defined what values are acceptable for the
version attribute of the <gic> element. Update the documentation
accordingly.

diff --git a/docs/formatdomain.html.in b/docs/formatdomain.html.in
index e96798f86ae1fc49fd4e695ed996eaacc45c30a7..a524c173afbeb954dcce3dca077711bcc12fa9bc 100644 (file)
--- a/docs/formatdomain.html.in
+++ b/docs/formatdomain.html.in
@@ -1578,8 +1578,9 @@
           For example, the 'aarch64' architecture uses
           <code>gic</code> instead of <code>apic</code>. The optional
           attribute <code>version</code> specifies the GIC version;
-          however, it may not be supported by all hypervisors. <span
-          class="since">Since 1.2.16</span>
+          however, it may not be supported by all hypervisors. Accepted
+          values are <code>2</code>, <code>3</code> and <code>host</code>.
+          <span class="since">Since 1.2.16</span>
       </dd>
     </dl>