CNTKCTL_VALID_BITS
val &= CNTKCTL_VALID_BITS;
__vcpu_rmw_sys_reg(vcpu, CNTHCTL_EL2, &=, ~CNTKCTL_VALID_BITS);
val |= __vcpu_sys_reg(vcpu, reg) & ~CNTKCTL_VALID_BITS;