ARM: tegra12: set CPU rate to 2.2GHz for sku 0x87
[linux-3.10.git] / arch / arm / mach-tegra / hotplug.c
index ba21668..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/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 "gic.h"
 #include "sleep.h"
 
 static void (*tegra_hotplug_shutdown)(void);
@@ -68,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)
 {