Home
last modified time | relevance | path

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

/tf-a-ffa_el3_spmc/services/std_svc/sdei/
A Dsdei_intr_mgmt.c161 const el3_state_t *tgt_el3; in save_event_ctx() local
165 tgt_el3 = get_el3state_ctx(tgt_ctx); in save_event_ctx()
173 disp_ctx->spsr_el3 = read_ctx_reg(tgt_el3, CTX_SPSR_EL3); in save_event_ctx()
174 disp_ctx->elr_el3 = read_ctx_reg(tgt_el3, CTX_ELR_EL3); in save_event_ctx()
182 el3_state_t *tgt_el3; in restore_event_ctx() local
186 tgt_el3 = get_el3state_ctx(tgt_ctx); in restore_event_ctx()
193 write_ctx_reg(tgt_el3, CTX_SPSR_EL3, disp_ctx->spsr_el3); in restore_event_ctx()
194 write_ctx_reg(tgt_el3, CTX_ELR_EL3, disp_ctx->elr_el3); in restore_event_ctx()

Completed in 3 milliseconds