Searched refs:sdei_init (Results 1 – 3 of 3) sorted by relevance
135 void sdei_init(void);
76 sdei_init(); in std_svc_setup()
227 void sdei_init(void) in sdei_init() function