Searched refs:platform_setup_cpu (Results 1 – 2 of 2) sorted by relevance
41 static void platform_setup_cpu(void) in platform_setup_cpu() function132 platform_setup_cpu(); in bl31_platform_setup()
124 static void platform_setup_cpu(void) in platform_setup_cpu() function240 platform_setup_cpu(); in bl31_platform_setup()