}
 
 /*
- * Should only be called on non-VHE systems.
+ * Should only be called on non-VHE or hVHE setups.
  * VHE systems use EL2 timers and configure EL1 timers in kvm_timer_init_vhe().
  */
 void __timer_disable_traps(struct kvm_vcpu *vcpu)
 {
-       u64 val;
+       u64 val, shift = 0;
+
+       if (has_hvhe())
+               shift = 10;
 
        /* Allow physical timer/counter access for the host */
        val = read_sysreg(cnthctl_el2);
-       val |= CNTHCTL_EL1PCTEN | CNTHCTL_EL1PCEN;
+       val |= (CNTHCTL_EL1PCTEN | CNTHCTL_EL1PCEN) << shift;
        write_sysreg(val, cnthctl_el2);
 }
 
 /*
- * Should only be called on non-VHE systems.
+ * Should only be called on non-VHE or hVHE setups.
  * VHE systems use EL2 timers and configure EL1 timers in kvm_timer_init_vhe().
  */
 void __timer_enable_traps(struct kvm_vcpu *vcpu)
        else
                clr |= CNTHCTL_EL1PCTEN;
 
+       if (has_hvhe()) {
+               clr <<= 10;
+               set <<= 10;
+       }
+
        sysreg_clear_set(cnthctl_el2, clr, set);
 }