CNTHP_CVAL_EL2
__vcpu_assign_sys_reg(vcpu, CNTHP_CVAL_EL2, cval);
return __vcpu_sys_reg(vcpu, CNTHP_CVAL_EL2);
val = __vcpu_sys_reg(vcpu, CNTHP_CVAL_EL2);
__vcpu_assign_sys_reg(vcpu, CNTHP_CVAL_EL2, val);
TIMER_REG(CNTHP_CVAL_EL2, el2_visibility),
SYS_REG(CNTHP_CVAL_EL2),