Searched refs:ev_num (Results 1 – 6 of 6) sorted by relevance
114 ev_num_so_far = map->ev_num; in sdei_class_init()120 assert(map->ev_num >= 0); in sdei_class_init()157 ev_num_so_far = map->ev_num; in sdei_class_init()177 assert(map->ev_num >= 0); in sdei_class_init()291 map = find_event_map(ev_num); in sdei_event_routing_set()430 if (ev_num != SDEI_EVENT_0) in sdei_event_register()658 if (ev_num != SDEI_EVENT_0) in sdei_event_unregister()731 return map->ev_num; in sdei_interrupt_bind()774 return map->ev_num; in sdei_interrupt_bind()916 if (ev_num != SDEI_EVENT_0) in sdei_signal()[all …]
82 sdei_ev_map_t *find_event_map(int ev_num) in find_event_map() argument95 if (map->ev_num == ev_num) in find_event_map()
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()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() argument607 if (ev_num == SDEI_EVENT_0) in sdei_dispatch_event()611 map = find_event_map(ev_num); in sdei_dispatch_event()[all …]
234 sdei_ev_map_t *find_event_map(int ev_num);
59 .ev_num = (_event), \113 int32_t ev_num; /* Event number */ member138 int sdei_dispatch_event(int ev_num);
223 int sdei_dispatch_event(int ev_num);225 The parameter ``ev_num`` is the event number to dispatch. The API returns ``0``
Completed in 8 milliseconds