diff --git a/docs/formatdomain.html.in b/docs/formatdomain.html.in
index 1d0211d893dec433afcace1309c817e7ec212f4d..464c4a33ca25ed5462aafe3fb133063d5f4aeb24 100644
--- a/docs/formatdomain.html.in
+++ b/docs/formatdomain.html.in
@@ -943,8 +943,8 @@
name
The name
attribute selects which timer is
- being modified, and can be one of "platform", "pit",
- "rtc", "hpet", or "tsc".
+ being modified, and can be one of "platform", "hpet",
+ "kvmclock", "pit", "rtc", or "tsc".
track
diff --git a/docs/schemas/domaincommon.rng b/docs/schemas/domaincommon.rng
index 4da6dca59909ebe1968d3b6d1937ddf30014d3eb..2e53e146efec000972125002fc64b8a5f5a8d46c 100644
--- a/docs/schemas/domaincommon.rng
+++ b/docs/schemas/domaincommon.rng
@@ -571,9 +571,10 @@
platform
+ hpet
+ kvmclock
pit
rtc
- hpet
tsc
diff --git a/src/conf/domain_conf.c b/src/conf/domain_conf.c
index e872396cb7194a28297fbbd6053fd454372a6867..978e91c8b93528a754f99a69164f8084bb085c45 100644
--- a/src/conf/domain_conf.c
+++ b/src/conf/domain_conf.c
@@ -576,7 +576,8 @@ VIR_ENUM_IMPL(virDomainTimerName, VIR_DOMAIN_TIMER_NAME_LAST,
"pit",
"rtc",
"hpet",
- "tsc");
+ "tsc",
+ "kvmclock");
VIR_ENUM_IMPL(virDomainTimerTrack, VIR_DOMAIN_TIMER_TRACK_LAST,
"boot",
diff --git a/src/conf/domain_conf.h b/src/conf/domain_conf.h
index 7a8f12dd81a2038e1fe1db39fd79e7fa86f9c229..1d2fb81fb85bbd1933859f1eb43d12c85a9f28c1 100644
--- a/src/conf/domain_conf.h
+++ b/src/conf/domain_conf.h
@@ -1285,6 +1285,7 @@ enum virDomainTimerNameType {
VIR_DOMAIN_TIMER_NAME_RTC,
VIR_DOMAIN_TIMER_NAME_HPET,
VIR_DOMAIN_TIMER_NAME_TSC,
+ VIR_DOMAIN_TIMER_NAME_KVMCLOCK,
VIR_DOMAIN_TIMER_NAME_LAST,
};