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

/trusted-firmware-a/include/services/
A D	sdei.h	135 void sdei_init(void);
/trusted-firmware-a/services/std_svc/
A D	std_svc_setup.c	67 sdei_init(); in std_svc_setup()
/trusted-firmware-a/services/std_svc/sdei/
A D	sdei_main.c	229 void sdei_init(void) in sdei_init() function

Completed in 5 milliseconds

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