platform_can_cpu_hotplug  109 arch/arm/include/asm/smp_plat.h extern int platform_can_cpu_hotplug(void);
platform_can_cpu_hotplug   54 arch/arm/kernel/machine_kexec.c 	    !platform_can_cpu_hotplug())