Searched refs:tgt_el3 (Results 1 – 1 of 1) sorted by relevance
160 const el3_state_t *tgt_el3; in save_event_ctx() local164 tgt_el3 = get_el3state_ctx(tgt_ctx); in save_event_ctx()172 disp_ctx->spsr_el3 = read_ctx_reg(tgt_el3, CTX_SPSR_EL3); in save_event_ctx()173 disp_ctx->elr_el3 = read_ctx_reg(tgt_el3, CTX_ELR_EL3); in save_event_ctx()181 el3_state_t *tgt_el3; in restore_event_ctx() local185 tgt_el3 = get_el3state_ctx(tgt_ctx); in restore_event_ctx()192 write_ctx_reg(tgt_el3, CTX_SPSR_EL3, disp_ctx->spsr_el3); in restore_event_ctx()193 write_ctx_reg(tgt_el3, CTX_ELR_EL3, disp_ctx->elr_el3); in restore_event_ctx()