58 static void clear_event_entries(sdei_entry_t *se)  in clear_event_entries()
71 	sdei_entry_t *se;  in sdei_cpu_on_init()  local
243 static void set_sdei_entry(sdei_entry_t *se, uint64_t ep, uint64_t arg,  in set_sdei_entry()
284 	sdei_entry_t *se;  in sdei_event_routing_set()  local
345 	sdei_entry_t *se;  in sdei_event_register()  local
474 	sdei_entry_t *se;  in sdei_event_enable()  local
514 	sdei_entry_t *se;  in sdei_event_disable()  local
553 	sdei_entry_t *se;  in sdei_event_get_info()  local
613 	sdei_entry_t *se;  in sdei_event_unregister()  local
685 	sdei_entry_t *se;  in sdei_event_status()  local
782 	sdei_entry_t *se;  in sdei_interrupt_release()  local