Searched refs:disp_ctx (Results 1 – 1 of 1) sorted by relevance
131 sdei_dispatch_context_t *disp_ctx; in push_dispatch() local136 disp_ctx = &state->dispatch_stack[state->stack_top]; in push_dispatch()139 return disp_ctx; in push_dispatch()173 sdei_dispatch_context_t *disp_ctx; in save_event_ctx() local181 disp_ctx = push_dispatch(); in save_event_ctx()182 assert(disp_ctx != NULL); in save_event_ctx()183 disp_ctx->map = map; in save_event_ctx()186 memcpy(disp_ctx->x, tgt_gpregs, sizeof(disp_ctx->x)); 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()[all …]