Searched refs:sdei_dispatch_context_t (Results 1 – 1 of 1) sorted by relevance
47 } sdei_dispatch_context_t; typedef51 sdei_dispatch_context_t dispatch_stack[MAX_EVENT_NESTING];116 static sdei_dispatch_context_t *push_dispatch(void) in push_dispatch()119 sdei_dispatch_context_t *disp_ctx; in push_dispatch()131 static sdei_dispatch_context_t *pop_dispatch(void) in pop_dispatch()146 static sdei_dispatch_context_t *get_outstanding_dispatch(void) in get_outstanding_dispatch()158 static sdei_dispatch_context_t *save_event_ctx(sdei_ev_map_t *map, in save_event_ctx()161 sdei_dispatch_context_t *disp_ctx; in save_event_ctx()181 static void restore_event_ctx(const sdei_dispatch_context_t *disp_ctx, void *tgt_ctx) in restore_event_ctx()245 static void sdei_set_elr_spsr(sdei_entry_t *se, sdei_dispatch_context_t *disp_ctx) in sdei_set_elr_spsr()[all …]
