diff --git a/docs/formatdomain.html.in b/docs/formatdomain.html.in
index 5ccf39abd187dbc6dbe143867f26371d3f3f189f..1a31eda154fdf62e5071d6d62bad5e7611f1aae5 100644
--- a/docs/formatdomain.html.in
+++ b/docs/formatdomain.html.in
@@ -2466,9 +2466,9 @@
"platform" (currently unsupported),
"hpet" (libxl, xen, qemu), "kvmclock" (qemu),
"pit" (qemu), "rtc" (qemu), "tsc" (libxl, qemu -
- since 3.2.0)
- or "hypervclock"
- (qemu - since 1.2.2).
+ since 3.2.0), "hypervclock"
+ (qemu - since 1.2.2) or
+ "armvtimer" (qemu - since 6.1.0).
The hypervclock
timer adds support for the
reference time counter and the reference page for iTSC