Searched refs:init_scmi_server (Results 1 – 3 of 3) sorted by relevance
17 void init_scmi_server(void);
289 init_scmi_server(); in bl31_platform_setup()
643 void init_scmi_server(void) in init_scmi_server() function