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