Searched refs:gxl_scp_boot (Results 1 – 2 of 2) sorted by relevance
109 static inline void gxl_scp_boot(void) in gxl_scp_boot() function159 gxl_scp_boot(); in bl31_platform_setup()