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