*
* 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);
cpu = cpu_logical_map(cpu);
#ifndef CONFIG_ARCH_TEGRA_2x_SOC
-#ifdef CONFIG_ARCH_TEGRA_11x_SOC
- unsigned int r;
-#endif
-
/* Disable GIC CPU interface for this CPU. */
tegra_gic_cpu_disable(false);
-
-#ifdef CONFIG_ARCH_TEGRA_11x_SOC
- /* disable cache */
- asm volatile(
- " mrc p15, 0, %0, c1, c0, 0\n"
- " bic %0, %0, #0x4 \n"
- " mcr p15, 0, %0, c1, c0, 0\n"
- : "=r" (r)
- : "r" (r)
- : "cc"
- );
-#endif
#endif
/* Flush the L1 data cache. */
}
#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)
{