Searched refs:ev_num (Results 1 – 6 of 6) sorted by relevance
/external/arm-trusted-firmware/services/std_svc/sdei/ |
D | sdei_main.c | 110 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 …]
|
D | sdei_intr_mgmt.c | 254 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 …]
|
D | sdei_event.c | 82 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()
|
D | sdei_private.h | 234 sdei_ev_map_t *find_event_map(int ev_num);
|
/external/arm-trusted-firmware/include/services/ |
D | sdei.h | 59 .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/ |
D | sdei.rst | 223 int sdei_dispatch_event(int ev_num); 225 The parameter ``ev_num`` is the event number to dispatch. The API returns ``0``
|