From 1d742a8772848a72667e1e5e0fa0841abf0af647 Mon Sep 17 00:00:00 2001
From: Andrea Bolognani <abologna@redhat.com>
Date: Fri, 7 Feb 2020 13:35:00 +0100
Subject: [PATCH] docs: List the armvtimer timer among all others
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Andrea Bolognani <abologna@redhat.com>
Reviewed-by: Ján Tomko <jtomko@redhat.com>
---
 docs/formatdomain.html.in | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/docs/formatdomain.html.in b/docs/formatdomain.html.in
index 5ccf39abd1..1a31eda154 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 -
-            <span class="since">since 3.2.0</span>)
-            or "hypervclock"
-            (qemu - <span class="since">since 1.2.2</span>).
+            <span class="since">since 3.2.0</span>), "hypervclock"
+            (qemu - <span class="since">since 1.2.2</span>) or
+            "armvtimer" (qemu - <span class="since">since 6.1.0</span>).
 
             The <code>hypervclock</code> timer adds support for the
             reference time counter and the reference page for iTSC