CNTV_CVAL_EL0
__vcpu_assign_sys_reg(vcpu, CNTV_CVAL_EL0, cval);
return __vcpu_sys_reg(vcpu, CNTV_CVAL_EL0);
cval = __vcpu_sys_reg(vcpu, CNTV_CVAL_EL0);
val = __vcpu_sys_reg(vcpu, CNTV_CVAL_EL0);
val = __vcpu_sys_reg(vcpu, CNTV_CVAL_EL0);
TIMER_REG(CNTV_CVAL_EL0, NULL),
return TO_ARM64_SYS_REG(CNTV_CVAL_EL0);