Home
last modified time | relevance | path

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

/rk3399_ARM-atf/services/std_svc/sdei/
H A 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 …]
H A Dsdei_intr_mgmt.c288 SMC_SET_GP(ctx, CTX_GPREG_X0, (uint64_t) map->ev_num); in setup_ns_dispatch()
319 if (map->ev_num == SDEI_EVENT_0) in handle_masked_trigger()
414 assert((map->ev_num == SDEI_EVENT_0) || is_map_bound(map)); in sdei_intr_handler()
438 if (map->ev_num == SDEI_EVENT_0) in sdei_intr_handler()
451 map->ev_num, se->state); in sdei_intr_handler()
497 mpidr, map->ev_num, sec_state, read_spsr_el3(), read_elr_el3()); in sdei_intr_handler()
532 if ((map->ev_num != SDEI_EVENT_0) && !is_map_bound(map)) { in sdei_intr_handler()
533 ERROR("Invalid SDEI mapping: ev=0x%x\n", map->ev_num); in sdei_intr_handler()
552 int sdei_dispatch_event(int ev_num) in sdei_dispatch_event() argument
567 if (ev_num == SDEI_EVENT_0) in sdei_dispatch_event()
[all …]
H A Dsdei_event.c127 sdei_ev_map_t *find_event_map(int ev_num) in find_event_map() argument
140 if (map->ev_num == ev_num) in find_event_map()
H A Dsdei_private.h234 sdei_ev_map_t *find_event_map(int ev_num);
/rk3399_ARM-atf/include/services/
H A Dsdei.h59 .ev_num = (_event), \
113 int32_t ev_num; /* Event number */ member
138 int sdei_dispatch_event(int ev_num);
/rk3399_ARM-atf/docs/components/
H A Dsdei.rst223 int sdei_dispatch_event(int ev_num);
225 The parameter ``ev_num`` is the event number to dispatch. The API returns ``0``