Searched refs:tgt_el3 (Results 1 – 1 of 1) sorted by relevance
175 const el3_state_t *tgt_el3; in save_event_ctx() local179 tgt_el3 = get_el3state_ctx(tgt_ctx); in save_event_ctx()187 disp_ctx->spsr_el3 = read_ctx_reg(tgt_el3, CTX_SPSR_EL3); in save_event_ctx()188 disp_ctx->elr_el3 = read_ctx_reg(tgt_el3, CTX_ELR_EL3); in save_event_ctx()196 el3_state_t *tgt_el3; in restore_event_ctx() local200 tgt_el3 = get_el3state_ctx(tgt_ctx); in restore_event_ctx()207 write_ctx_reg(tgt_el3, CTX_SPSR_EL3, disp_ctx->spsr_el3); in restore_event_ctx()208 write_ctx_reg(tgt_el3, CTX_ELR_EL3, disp_ctx->elr_el3); in restore_event_ctx()