// SPDX-License-Identifier: GPL-2.0-or-later /* * CPU hotplug support for CSR Marco dual-core SMP SoCs * * Copyright (c) 2012 Cambridge Silicon Radio Limited, a CSR plc group company. */ #include <linux/kernel.h> #include <linux/errno.h> #include <linux/smp.h> #include <asm/smp_plat.h> #include "common.h" static inline void platform_do_lowpower(unsigned int cpu) { /* we put the platform to just WFI */ for (;;) { __asm__ __volatile__("dsb\n\t" "wfi\n\t" : : : "memory"); if (prima2_pen_release == cpu_logical_map(cpu)) { /* * OK, proper wakeup, we're done */ break; } } } /* * platform-specific code to shutdown a CPU * * Called with IRQs disabled */ void sirfsoc_cpu_die(unsigned int cpu) { platform_do_lowpower(cpu); }