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

/tf-a-ffa_el3_spmc/services/std_svc/sdei/
A D	sdei_intr_mgmt.c	114 static sdei_dispatch_context_t *push_dispatch(void) in push_dispatch() function 167 disp_ctx = push_dispatch(); in save_event_ctx()

Completed in 72 milliseconds

Last Index update Fri Sep 05 17:56:23 CST 2025