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