CNTHCTL_EL2
u64 val = __vcpu_sys_reg(vcpu, CNTHCTL_EL2);
.index = CNTHCTL_EL2,
.index = CNTHCTL_EL2,
!(__vcpu_sys_reg(vcpu, CNTHCTL_EL2) & CNTHCTL_EL1NVPCT))
!(__vcpu_sys_reg(vcpu, CNTHCTL_EL2) & CNTHCTL_EL1NVVCT))
val = __vcpu_sys_reg(vcpu, CNTHCTL_EL2);
val = __vcpu_sys_reg(vcpu, CNTHCTL_EL2);
write_sysreg_el1(__vcpu_sys_reg(vcpu, CNTHCTL_EL2), SYS_CNTKCTL);
__vcpu_rmw_sys_reg(vcpu, CNTHCTL_EL2, &=, ~CNTKCTL_VALID_BITS);
__vcpu_rmw_sys_reg(vcpu, CNTHCTL_EL2, |=, val);
set_sysreg_masks(kvm, CNTHCTL_EL2, resx);
case CNTHCTL_EL2:
case CNTHCTL_EL2:
case CNTHCTL_EL2:
EL2_REG(CNTHCTL_EL2, access_rw, reset_val, 0),
SYS_REG(CNTHCTL_EL2),
MAPPED_EL2_SYSREG(CNTHCTL_EL2, CNTKCTL_EL1);