Searched refs:disp_ctx (Results 1 – 1 of 1) sorted by relevance
119 sdei_dispatch_context_t *disp_ctx; in push_dispatch() local124 disp_ctx = &state->dispatch_stack[state->stack_top]; in push_dispatch()127 return disp_ctx; in push_dispatch()161 sdei_dispatch_context_t *disp_ctx; in save_event_ctx() local169 disp_ctx = push_dispatch(); in save_event_ctx()170 assert(disp_ctx != NULL); in save_event_ctx()171 disp_ctx->map = map; in save_event_ctx()174 memcpy(disp_ctx->x, tgt_gpregs, sizeof(disp_ctx->x)); 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()[all …]
