Linux 4.1.18
[linux/fpc-iii.git] / arch / arm / mach-prima2 / hotplug.c
blob0ab2f8bae28e2aa9fce403175fdc87e278bc766a
1 /*
2 * CPU hotplug support for CSR Marco dual-core SMP SoCs
4 * Copyright (c) 2012 Cambridge Silicon Radio Limited, a CSR plc group company.
6 * Licensed under GPLv2 or later.
7 */
9 #include <linux/kernel.h>
10 #include <linux/errno.h>
11 #include <linux/smp.h>
13 #include <asm/smp_plat.h>
15 static inline void platform_do_lowpower(unsigned int cpu)
17 /* we put the platform to just WFI */
18 for (;;) {
19 __asm__ __volatile__("dsb\n\t" "wfi\n\t"
20 : : : "memory");
21 if (pen_release == cpu_logical_map(cpu)) {
23 * OK, proper wakeup, we're done
25 break;
31 * platform-specific code to shutdown a CPU
33 * Called with IRQs disabled
35 void __ref sirfsoc_cpu_die(unsigned int cpu)
37 platform_do_lowpower(cpu);