56 static void clear_event_entries(sdei_entry_t *se)  in clear_event_entries()
69 	sdei_entry_t *se;  in sdei_cpu_on_init()  local
241 static void set_sdei_entry(sdei_entry_t *se, uint64_t ep, uint64_t arg,  in set_sdei_entry()
282 	sdei_entry_t *se;  in sdei_event_routing_set()  local
343 	sdei_entry_t *se;  in sdei_event_register()  local
472 	sdei_entry_t *se;  in sdei_event_enable()  local
512 	sdei_entry_t *se;  in sdei_event_disable()  local
551 	sdei_entry_t *se;  in sdei_event_get_info()  local
611 	sdei_entry_t *se;  in sdei_event_unregister()  local
683 	sdei_entry_t *se;  in sdei_event_status()  local
780 	sdei_entry_t *se;  in sdei_interrupt_release()  local