diff --git a/docs/formatdomain.html.in b/docs/formatdomain.html.in
index cc4c5ea6ed6ef0f69ccaca2a9c626a612cc7561b..47d91ab2e60769a9f9933c837c052d82059f5056 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>