sirfsoc_cpu_die    21 arch/arm/mach-prima2/common.h extern void sirfsoc_cpu_die(unsigned int cpu);
sirfsoc_cpu_die   121 arch/arm/mach-prima2/platsmp.c 	.cpu_die                = sirfsoc_cpu_die,