ARM: tegra12: set CPU rate to 2.2GHz for sku 0x87
[linux-3.10.git] / arch / arm / mach-tegra / hotplug.c
index e8323bc..20f5f21 100644 (file)
@@ -2,7 +2,7 @@
  *
  *  Copyright (C) 2002 ARM Ltd.
  *  All Rights Reserved
- *  Copyright (c) 2010, 2012 NVIDIA Corporation. All rights reserved.
+ *  Copyright (C) 2010-2013 NVIDIA Corporation. All rights reserved.
  *
  * This program is free software; you can redistribute it and/or modify
  * it under the terms of the GNU General Public License version 2 as
 #include <linux/kernel.h>
 #include <linux/smp.h>
 #include <linux/clk/tegra.h>
+#include <linux/cpu_pm.h>
+#include <linux/clk/tegra.h>
+#include <linux/irqchip/tegra.h>
 
+#include <asm/cacheflush.h>
 #include <asm/smp_plat.h>
 
 #include "sleep.h"
 
 static void (*tegra_hotplug_shutdown)(void);
 
-int tegra_cpu_kill(unsigned cpu)
+int tegra_cpu_kill(unsigned int cpu)
 {
        cpu = cpu_logical_map(cpu);
 
-       /* Clock gate the CPU */
        tegra_wait_cpu_in_reset(cpu);
+
        tegra_disable_cpu_clock(cpu);
 
        return 1;
@@ -34,14 +38,25 @@ int tegra_cpu_kill(unsigned cpu)
  *
  * Called with IRQs disabled
  */
-void __ref tegra_cpu_die(unsigned int cpu)
+void tegra_cpu_die(unsigned int cpu)
 {
-       /* Clean L1 data cache */
-       tegra_disable_clean_inv_dcache();
+       cpu = cpu_logical_map(cpu);
+
+#ifndef CONFIG_ARCH_TEGRA_2x_SOC
+       /* Disable GIC CPU interface for this CPU. */
+       tegra_gic_cpu_disable(false);
+#endif
+
+       /* Flush the L1 data cache. */
+       tegra_flush_l1_cache();
 
        /* Shut down the current CPU. */
        tegra_hotplug_shutdown();
 
+       /* Clock gate the CPU */
+       tegra_wait_cpu_in_reset(cpu);
+       tegra_disable_cpu_clock(cpu);
+
        /* Should never return here. */
        BUG();
 }
@@ -54,7 +69,10 @@ void __init tegra20_hotplug_init(void)
 }
 #endif
 
-#ifdef CONFIG_ARCH_TEGRA_3x_SOC
+#if defined(CONFIG_ARCH_TEGRA_3x_SOC) || \
+    defined(CONFIG_ARCH_TEGRA_11x_SOC) || \
+    defined(CONFIG_ARCH_TEGRA_12x_SOC) || \
+    defined(CONFIG_ARCH_TEGRA_14x_SOC)
 extern void tegra30_hotplug_shutdown(void);
 void __init tegra30_hotplug_init(void)
 {