tegra_cpu_die      13 arch/arm/mach-tegra/common.h extern void tegra_cpu_die(unsigned int cpu);
tegra_cpu_die     188 arch/arm/mach-tegra/platsmp.c 	.cpu_die		= tegra_cpu_die,