Searched refs:read_el1_ctx_arch_timer (Results 1 – 2 of 2) sorted by relevance
1888 write_cntkctl_el1(read_el1_ctx_arch_timer(ctx, cntkctl_el1)); in el1_sysregs_context_restore() 1891 write_cntp_ctl_el0(read_el1_ctx_arch_timer(ctx, cntp_ctl_el0)); in el1_sysregs_context_restore() 1892 write_cntp_cval_el0(read_el1_ctx_arch_timer(ctx, cntp_cval_el0)); in el1_sysregs_context_restore() 1893 write_cntv_ctl_el0(read_el1_ctx_arch_timer(ctx, cntv_ctl_el0)); in el1_sysregs_context_restore() 1894 write_cntv_cval_el0(read_el1_ctx_arch_timer(ctx, cntv_cval_el0)); in el1_sysregs_context_restore()
199 #define read_el1_ctx_arch_timer(ctx, reg) (((ctx)->arch_timer).reg) macro