platform_can_secondary_boot  108 arch/arm/include/asm/smp_plat.h extern int platform_can_secondary_boot(void);
platform_can_secondary_boot   53 arch/arm/kernel/machine_kexec.c 	if (num_possible_cpus() > 1 && platform_can_secondary_boot() &&