CNTV_CTL_EL0
__vcpu_assign_sys_reg(vcpu, CNTV_CTL_EL0, ctl);
return __vcpu_sys_reg(vcpu, CNTV_CTL_EL0);
case CNTV_CTL_EL0:
ctl = __vcpu_sys_reg(vcpu, CNTV_CTL_EL0);
val = compute_emulated_cntx_ctl_el0(vcpu, CNTV_CTL_EL0);
val = compute_emulated_cntx_ctl_el0(vcpu, CNTV_CTL_EL0);
TIMER_REG(CNTV_CTL_EL0, NULL),