Home
last modified time | relevance | path

Searched refs:tgt_el3 (Results 1 – 1 of 1) sorted by relevance

/trusted-firmware-a/services/std_svc/sdei/
A Dsdei_intr_mgmt.c163 const el3_state_t *tgt_el3; in save_event_ctx() local
167 tgt_el3 = get_el3state_ctx(tgt_ctx); in save_event_ctx()
175 disp_ctx->spsr_el3 = read_ctx_reg(tgt_el3, CTX_SPSR_EL3); in save_event_ctx()
176 disp_ctx->elr_el3 = read_ctx_reg(tgt_el3, CTX_ELR_EL3); in save_event_ctx()
184 el3_state_t *tgt_el3; in restore_event_ctx() local
188 tgt_el3 = get_el3state_ctx(tgt_ctx); in restore_event_ctx()
195 write_ctx_reg(tgt_el3, CTX_SPSR_EL3, disp_ctx->spsr_el3); in restore_event_ctx()
196 write_ctx_reg(tgt_el3, CTX_ELR_EL3, disp_ctx->elr_el3); in restore_event_ctx()

Completed in 2 milliseconds