Searched refs:read_sysreg_el0 (Results 1 – 3 of 3) sorted by relevance
70 #define read_sysreg_el0(r) read_sysreg_elx(r, _EL0, _EL02) macro
229 cnt_ctl = read_sysreg_el0(cntv_ctl); in kvm_timer_should_fire()353 vtimer->cnt_ctl = read_sysreg_el0(cntv_ctl); in vtimer_save_state()354 vtimer->cnt_cval = read_sysreg_el0(cntv_cval); in vtimer_save_state()
94 #define read_sysreg_el0(r) read_sysreg(r##_el0) macro