extern struct smp_operations tegra_smp_ops; extern void tegra_cpu_die(unsigned int cpu); extern int tegra_cpu_disable(unsigned int cpu);
