Searched refs:CNTV_CTL_EL0 (Results 1 – 3 of 3) sorted by relevance
61 return __vcpu_sys_reg(vcpu, CNTV_CTL_EL0); in timer_get_ctl()105 __vcpu_sys_reg(vcpu, CNTV_CTL_EL0) = ctl; in timer_set_ctl()
468 write_sysreg_el0(__vcpu_sys_reg(shadow_vcpu, CNTV_CTL_EL0), SYS_CNTV_CTL); in flush_timer_state()483 __vcpu_sys_reg(shadow_vcpu, CNTV_CTL_EL0) = read_sysreg_el0(SYS_CNTV_CTL); in sync_timer_state()
306 CNTV_CTL_EL0, enumerator