Searched refs:init_scmi_server (Results 1 – 3 of 3) sorted by relevance
15 void init_scmi_server(void);
226 init_scmi_server(); in bl31_platform_setup()
634 void init_scmi_server(void) in init_scmi_server() function