Searched refs:read_sysreg_el0 (Results 1 – 2 of 2) sorted by relevance
328 cnt_ctl = read_sysreg_el0(SYS_CNTV_CTL); in kvm_timer_should_fire()331 cnt_ctl = read_sysreg_el0(SYS_CNTP_CTL); in kvm_timer_should_fire()441 timer_set_ctl(ctx, read_sysreg_el0(SYS_CNTV_CTL)); in timer_save_state()442 timer_set_cval(ctx, read_sysreg_el0(SYS_CNTV_CVAL)); in timer_save_state()450 timer_set_ctl(ctx, read_sysreg_el0(SYS_CNTP_CTL)); in timer_save_state()451 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
Completed in 6 milliseconds