Searched refs:CNTV_CVAL_EL0 (Results 1 – 3 of 3) sorted by relevance
76 return __vcpu_sys_reg(vcpu, CNTV_CVAL_EL0); in timer_get_cval()121 __vcpu_sys_reg(vcpu, CNTV_CVAL_EL0) = cval; in timer_set_cval()
467 write_sysreg_el0(__vcpu_sys_reg(shadow_vcpu, CNTV_CVAL_EL0), SYS_CNTV_CVAL); in flush_timer_state()482 __vcpu_sys_reg(shadow_vcpu, CNTV_CVAL_EL0) = read_sysreg_el0(SYS_CNTV_CVAL); in sync_timer_state()
305 CNTV_CVAL_EL0, enumerator