Searched refs:read_sysreg_el0 (Results 1 – 2 of 2) sorted by relevance
348 cnt_ctl = read_sysreg_el0(SYS_CNTV_CTL); in kvm_timer_should_fire()351 cnt_ctl = read_sysreg_el0(SYS_CNTP_CTL); in kvm_timer_should_fire()455 timer_set_ctl(ctx, read_sysreg_el0(SYS_CNTV_CTL)); in timer_save_state()456 timer_set_cval(ctx, read_sysreg_el0(SYS_CNTV_CVAL)); in timer_save_state()464 timer_set_ctl(ctx, read_sysreg_el0(SYS_CNTP_CTL)); in timer_save_state()465 timer_set_cval(ctx, read_sysreg_el0(SYS_CNTP_CVAL)); in timer_save_state()
44 #define read_sysreg_el0(r) read_sysreg_elx(r, _EL0, _EL02) macro