spear13xx_cpu_die   42 arch/arm/mach-spear/generic.h void spear13xx_cpu_die(unsigned int cpu);
spear13xx_cpu_die  131 arch/arm/mach-spear/platsmp.c        .cpu_die			= spear13xx_cpu_die,