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());