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

/tf-a-ffa_el3_spmc/services/std_svc/sdei/
A D	sdei_intr_mgmt.c	663 static void end_sdei_synchronous_dispatch(jmp_buf *buffer) in end_sdei_synchronous_dispatch() function 744 end_sdei_synchronous_dispatch(disp_ctx->dispatch_jmp); in sdei_event_complete()

Completed in 3 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023