From 23770d7b55ed3948b4c633c1a58f0cf65ecd56ff Mon Sep 17 00:00:00 2001
From: Peter Krempa <pkrempa@redhat.com>
Date: Mon, 24 Jun 2013 16:03:37 +0200
Subject: [PATCH] docs: Document hypervisor drivers that support certain timer
 models

Not every timer model is supported with each hypervisor. Explicitly
mention the driver supporting each timer model.
---
 docs/formatdomain.html.in | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/docs/formatdomain.html.in b/docs/formatdomain.html.in
index cc4c5ea6ed..47d91ab2e6 100644
--- a/docs/formatdomain.html.in
+++ b/docs/formatdomain.html.in
@@ -1310,8 +1310,10 @@
           <dt><code>name</code></dt>
           <dd>
             The <code>name</code> attribute selects which timer is
-            being modified, and can be one of "platform", "hpet",
-            "kvmclock", "pit", "rtc", or "tsc".
+            being modified, and can be one of
+            "platform" (currently unsupported),
+            "hpet" (libxl, xen, qemu), "kvmclock" (qemu),
+            "pit" (qemu), "rtc" (qemu), or "tsc" (libxl).
           </dd>
           <dt><code>track</code></dt>
           <dd>
-- 
2.47.2