if (!is_hyp_ctxt(vcpu))
                        goto memory_read;
 
+               /*
+                * CNTHCTL_EL2 requires some special treatment to
+                * account for the bits that can be set via CNTKCTL_EL1.
+                */
+               switch (reg) {
+               case CNTHCTL_EL2:
+                       if (vcpu_el2_e2h_is_set(vcpu)) {
+                               val = read_sysreg_el1(SYS_CNTKCTL);
+                               val &= CNTKCTL_VALID_BITS;
+                               val |= __vcpu_sys_reg(vcpu, reg) & ~CNTKCTL_VALID_BITS;
+                               return val;
+                       }
+                       break;
+               }
+
                /*
                 * If this register does not have an EL1 counterpart,
                 * then read the stored EL2 version.
                 */
                __vcpu_sys_reg(vcpu, reg) = val;
 
+               switch (reg) {
+               case CNTHCTL_EL2:
+                       /*
+                        * If E2H=0, CNHTCTL_EL2 is a pure shadow register.
+                        * Otherwise, some of the bits are backed by
+                        * CNTKCTL_EL1, while the rest is kept in memory.
+                        * Yes, this is fun stuff.
+                        */
+                       if (vcpu_el2_e2h_is_set(vcpu))
+                               write_sysreg_el1(val, SYS_CNTKCTL);
+                       return;
+               }
+
                /* No EL1 counterpart? We're done here.? */
                if (reg == el1r)
                        return;
 
 void kvm_timer_cpu_up(void);
 void kvm_timer_cpu_down(void);
 
+/* CNTKCTL_EL1 valid bits as of DDI0487J.a */
+#define CNTKCTL_VALID_BITS     (BIT(17) | GENMASK_ULL(9, 0))
+
 static inline bool has_cntpoff(void)
 {
        return (has_vhe() && cpus_have_final_cap(ARM64_HAS_ECV_CNTPOFF));