Searched refs:gxl_scp_boot (Results 1 – 1 of 1) sorted by relevance
129 static inline void gxl_scp_boot(void) in gxl_scp_boot() function179 gxl_scp_boot(); in bl31_platform_setup()