GNU Linux-libre 4.14.303-gnu1
[releases.git] / arch / arm / mach-prima2 / hotplug.c
1 /*
2  * CPU hotplug support for CSR Marco dual-core SMP SoCs
3  *
4  * Copyright (c) 2012 Cambridge Silicon Radio Limited, a CSR plc group company.
5  *
6  * Licensed under GPLv2 or later.
7  */
8
9 #include <linux/kernel.h>
10 #include <linux/errno.h>
11 #include <linux/smp.h>
12
13 #include <asm/smp_plat.h>
14
15 static inline void platform_do_lowpower(unsigned int cpu)
16 {
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)) {
22                         /*
23                          * OK, proper wakeup, we're done
24                          */
25                         break;
26                 }
27         }
28 }
29
30 /*
31  * platform-specific code to shutdown a CPU
32  *
33  * Called with IRQs disabled
34  */
35 void sirfsoc_cpu_die(unsigned int cpu)
36 {
37         platform_do_lowpower(cpu);
38 }