Lines Matching refs:ev_num
328 SMC_SET_GP(ctx, CTX_GPREG_X0, (uint64_t) map->ev_num); in setup_ns_dispatch()
359 if (map->ev_num == SDEI_EVENT_0) in handle_masked_trigger()
454 assert((map->ev_num == SDEI_EVENT_0) || is_map_bound(map)); in sdei_intr_handler()
478 if (map->ev_num == SDEI_EVENT_0) in sdei_intr_handler()
491 map->ev_num, se->state); in sdei_intr_handler()
537 mpidr, map->ev_num, sec_state, read_spsr_el3(), read_elr_el3()); in sdei_intr_handler()
572 if ((map->ev_num != SDEI_EVENT_0) && !is_map_bound(map)) { in sdei_intr_handler()
573 ERROR("Invalid SDEI mapping: ev=0x%x\n", map->ev_num); in sdei_intr_handler()
592 int sdei_dispatch_event(int ev_num) in sdei_dispatch_event() argument
607 if (ev_num == SDEI_EVENT_0) in sdei_dispatch_event()
611 map = find_event_map(ev_num); in sdei_dispatch_event()
709 map->ev_num, read_spsr_el3(), read_elr_el3()); in sdei_event_complete()