Searched refs:read_sysreg_el0 (Results 1 – 2 of 2) sorted by relevance
327 cnt_ctl = read_sysreg_el0(SYS_CNTV_CTL); in kvm_timer_should_fire()330 cnt_ctl = read_sysreg_el0(SYS_CNTP_CTL); in kvm_timer_should_fire()440 timer_set_ctl(ctx, read_sysreg_el0(SYS_CNTV_CTL)); in timer_save_state()441 timer_set_cval(ctx, read_sysreg_el0(SYS_CNTV_CVAL)); in timer_save_state()449 timer_set_ctl(ctx, read_sysreg_el0(SYS_CNTP_CTL)); in timer_save_state()450 timer_set_cval(ctx, read_sysreg_el0(SYS_CNTP_CVAL)); in timer_save_state()
43 #define read_sysreg_el0(r) read_sysreg_elx(r, _EL0, _EL02) macro