Home
last modified time | relevance | path

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

/external/arm-trusted-firmware/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_intr_mgmt.c254 SMC_SET_GP(ctx, CTX_GPREG_X0, (uint64_t) map->ev_num); in setup_ns_dispatch()
292 if (map->ev_num == SDEI_EVENT_0) in handle_masked_trigger()
387 assert((map->ev_num == SDEI_EVENT_0) || is_map_bound(map)); in sdei_intr_handler()
411 if (map->ev_num == SDEI_EVENT_0) in sdei_intr_handler()
424 map->ev_num, se->state); in sdei_intr_handler()
469 SDEI_LOG("ACK %llx, ev:%d ss:%d spsr:%lx ELR:%lx\n", mpidr, map->ev_num, in sdei_intr_handler()
505 if ((map->ev_num != SDEI_EVENT_0) && !is_map_bound(map)) { in sdei_intr_handler()
506 ERROR("Invalid SDEI mapping: ev=%u\n", map->ev_num); in sdei_intr_handler()
525 int sdei_dispatch_event(int ev_num) in sdei_dispatch_event() argument
540 if (ev_num == SDEI_EVENT_0) in sdei_dispatch_event()
[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_private.h234 sdei_ev_map_t *find_event_map(int ev_num);
/external/arm-trusted-firmware/include/services/
Dsdei.h59 .ev_num = (_event), \
113 int32_t ev_num; /* Event number */ member
138 int sdei_dispatch_event(int ev_num);
/external/arm-trusted-firmware/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``