Searched refs:platform_can_secondary_boot (Results 1 – 3 of 3) sorted by relevance
108 extern int platform_can_secondary_boot(void);
53 if (num_possible_cpus() > 1 && platform_can_secondary_boot() && in machine_kexec_prepare()
159 int platform_can_secondary_boot(void) in platform_can_secondary_boot() function