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