f30c528433967e43b1f1afa1050c13feefbbe914
[linux-3.10.git] / arch / arm / mach-highbank / hotplug.c
1 /*
2  * Copyright 2011 Calxeda, Inc.
3  *
4  * This program is free software; you can redistribute it and/or modify it
5  * under the terms and conditions of the GNU General Public License,
6  * version 2, as published by the Free Software Foundation.
7  *
8  * This program is distributed in the hope it will be useful, but WITHOUT
9  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
10  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
11  * more details.
12  *
13  * You should have received a copy of the GNU General Public License along with
14  * this program.  If not, see <http://www.gnu.org/licenses/>.
15  */
16 #include <linux/kernel.h>
17
18 #include <asm/cacheflush.h>
19
20 #include "core.h"
21 #include "sysregs.h"
22
23 extern void secondary_startup(void);
24
25 /*
26  * platform-specific code to shutdown a CPU
27  *
28  */
29 void __ref highbank_cpu_die(unsigned int cpu)
30 {
31         flush_cache_all();
32
33         highbank_set_cpu_jump(cpu, phys_to_virt(0));
34         highbank_set_core_pwr();
35
36         cpu_do_idle();
37
38         /* We should never return from idle */
39         panic("highbank: cpu %d unexpectedly exit from shutdown\n", cpu);
40 }