Home
last modified time | relevance | path

Searched refs:ev_num (Results 1 – 6 of 6) sorted by relevance

/trusted-firmware-a-latest/services/std_svc/sdei/
Dsdei_main.c110 assert((ev_num_so_far < 0) || (map->ev_num > ev_num_so_far)); in sdei_class_init()
112 ev_num_so_far = map->ev_num; in sdei_class_init()
115 assert(map->ev_num != SDEI_EVENT_0); in sdei_class_init()
118 assert(map->ev_num >= 0); in sdei_class_init()
153 assert((ev_num_so_far < 0) || (map->ev_num > ev_num_so_far)); in sdei_class_init()
155 ev_num_so_far = map->ev_num; in sdei_class_init()
157 if (map->ev_num == SDEI_EVENT_0) { in sdei_class_init()
175 assert(map->ev_num >= 0); in sdei_class_init()
196 if (map->ev_num != SDEI_EVENT_0) { in sdei_class_init()
277 static int sdei_event_routing_set(int ev_num, uint64_t flags, uint64_t mpidr) in sdei_event_routing_set() argument
[all …]
Dsdei_event.c82 sdei_ev_map_t *find_event_map(int ev_num) in find_event_map() argument
95 if (map->ev_num == ev_num) in find_event_map()
Dsdei_intr_mgmt.c328 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()
[all …]
Dsdei_private.h234 sdei_ev_map_t *find_event_map(int ev_num);
/trusted-firmware-a-latest/include/services/
Dsdei.h59 .ev_num = (_event), \
113 int32_t ev_num; /* Event number */ member
138 int sdei_dispatch_event(int ev_num);
/trusted-firmware-a-latest/docs/components/
Dsdei.rst223 int sdei_dispatch_event(int ev_num);
225 The parameter ``ev_num`` is the event number to dispatch. The API returns ``0``