diff --git a/include/clocksource/arm_arch_timer.h b/include/clocksource/arm_arch_timer.h
index 25d0914..76e49a6 100644
--- a/include/clocksource/arm_arch_timer.h
+++ b/include/clocksource/arm_arch_timer.h
@@ -23,8 +23,14 @@
 #define ARCH_TIMER_CTRL_IT_MASK                (1 << 1)
 #define ARCH_TIMER_CTRL_IT_STAT                (1 << 2)

+#ifndef CONFIG_PV_VHE
 #define CNTHCTL_EL1PCTEN               (1 << 0)
 #define CNTHCTL_EL1PCEN                        (1 << 1)
+#else
+#define CNTHCTL_EL1PCTEN               (1 << 10)
+#define CNTHCTL_EL1PCEN                        (1 << 11)
+#endif
+
 #define CNTHCTL_EVNTEN                 (1 << 2)
 #define CNTHCTL_EVNTDIR                        (1 << 3)
 #define CNTHCTL_EVNTI                  (0xF << 4)