2 * Copyright (C) 2002 ARM Ltd.
4 * Copyright (c) 2010, 2012-2013, NVIDIA Corporation. All rights reserved.
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License version 2 as
8 * published by the Free Software Foundation.
10 #include <linux/kernel.h>
11 #include <linux/smp.h>
12 #include <linux/clk/tegra.h>
14 #include <asm/smp_plat.h>
19 static void (*tegra_hotplug_shutdown
)(void);
21 int tegra_cpu_kill(unsigned cpu
)
23 cpu
= cpu_logical_map(cpu
);
25 /* Clock gate the CPU */
26 tegra_wait_cpu_in_reset(cpu
);
27 tegra_disable_cpu_clock(cpu
);
33 * platform-specific code to shutdown a CPU
35 * Called with IRQs disabled
37 void __ref
tegra_cpu_die(unsigned int cpu
)
39 /* Clean L1 data cache */
40 tegra_disable_clean_inv_dcache(TEGRA_FLUSH_CACHE_LOUIS
);
42 /* Shut down the current CPU. */
43 tegra_hotplug_shutdown();
45 /* Should never return here. */
49 void __init
tegra_hotplug_init(void)
51 if (!IS_ENABLED(CONFIG_HOTPLUG_CPU
))
54 if (IS_ENABLED(CONFIG_ARCH_TEGRA_2x_SOC
) && tegra_chip_id
== TEGRA20
)
55 tegra_hotplug_shutdown
= tegra20_hotplug_shutdown
;
56 if (IS_ENABLED(CONFIG_ARCH_TEGRA_3x_SOC
) && tegra_chip_id
== TEGRA30
)
57 tegra_hotplug_shutdown
= tegra30_hotplug_shutdown
;
58 if (IS_ENABLED(CONFIG_ARCH_TEGRA_114_SOC
) && tegra_chip_id
== TEGRA114
)
59 tegra_hotplug_shutdown
= tegra30_hotplug_shutdown
;