// 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);
|
}
|
