Lines Matching defs:void

60 int64_t sdei_pe_mask(void)
77 void sdei_pe_unmask(void)
116 static sdei_dispatch_context_t *push_dispatch(void)
131 static sdei_dispatch_context_t *pop_dispatch(void)
146 static sdei_dispatch_context_t *get_outstanding_dispatch(void)
159 		void *tgt_ctx)
181 static void restore_event_ctx(const sdei_dispatch_context_t *disp_ctx, void *tgt_ctx)
208 static void save_secure_context(void)
214 static void restore_and_resume_secure_context(void)
224 static cpu_context_t *restore_and_resume_ns_context(void)
245 static void sdei_set_elr_spsr(sdei_entry_t *se, sdei_dispatch_context_t *disp_ctx)
312 static void setup_ns_dispatch(sdei_ev_map_t *map, sdei_entry_t *se,
352 static void handle_masked_trigger(sdei_ev_map_t *map, sdei_entry_t *se,
407 int sdei_intr_handler(uint32_t intr_raw, uint32_t flags, void *handle,
408 		void *cookie)
665 static void end_sdei_synchronous_dispatch(jmp_buf *buffer)
706 	(void) pop_dispatch();
751 int64_t sdei_event_context(void *handle, unsigned int param)