Searched refs:platform_setup_cpu (Results 1 – 3 of 3) sorted by relevance
28 static void platform_setup_cpu(void) in platform_setup_cpu() function117 platform_setup_cpu(); in bl31_platform_setup()
36 static void platform_setup_cpu(void) in platform_setup_cpu() function145 platform_setup_cpu(); in bl31_platform_setup()
125 static void platform_setup_cpu(void) in platform_setup_cpu() function238 platform_setup_cpu(); in bl31_platform_setup()