Searched refs:read_sysreg_el0 (Results 1 – 3 of 3) sorted by relevance
240 cnt_ctl = read_sysreg_el0(SYS_CNTV_CTL); in kvm_timer_should_fire()243 cnt_ctl = read_sysreg_el0(SYS_CNTP_CTL); in kvm_timer_should_fire()353 ctx->cnt_ctl = read_sysreg_el0(SYS_CNTV_CTL); in timer_save_state()354 ctx->cnt_cval = read_sysreg_el0(SYS_CNTV_CVAL); in timer_save_state()362 ctx->cnt_ctl = read_sysreg_el0(SYS_CNTP_CTL); in timer_save_state()363 ctx->cnt_cval = read_sysreg_el0(SYS_CNTP_CVAL); in timer_save_state()
43 #define read_sysreg_el0(r) read_sysreg_elx(r, _EL0, _EL02) macro
85 #define read_sysreg_el0(r) read_sysreg(r##_EL0) macro
