288 	SMC_SET_GP(ctx, CTX_GPREG_X0, (uint64_t) map->ev_num);  in setup_ns_dispatch()
319 	if (map->ev_num == SDEI_EVENT_0)  in handle_masked_trigger()
414 	assert((map->ev_num == SDEI_EVENT_0) || is_map_bound(map));  in sdei_intr_handler()
438 	if (map->ev_num == SDEI_EVENT_0)  in sdei_intr_handler()
451 				map->ev_num, se->state);  in sdei_intr_handler()
497 		 mpidr, map->ev_num, sec_state, read_spsr_el3(), read_elr_el3());  in sdei_intr_handler()
532 	if ((map->ev_num != SDEI_EVENT_0) && !is_map_bound(map)) {  in sdei_intr_handler()
533 		ERROR("Invalid SDEI mapping: ev=0x%x\n", map->ev_num);  in sdei_intr_handler()
552 int sdei_dispatch_event(int ev_num)  in sdei_dispatch_event()  argument
567 	if (ev_num == SDEI_EVENT_0)  in sdei_dispatch_event()
571 	map = find_event_map(ev_num);  in sdei_dispatch_event()
669 			map->ev_num, read_spsr_el3(), read_elr_el3());  in sdei_event_complete()