Searched refs:platform_secondary_init (Results 1 – 3 of 3) sorted by relevance
20 void platform_secondary_init(unsigned int cpu);
51 void platform_secondary_init(unsigned int cpu) in platform_secondary_init() function
318 platform_secondary_init(cpu); in secondary_start_kernel()