// SPDX-License-Identifier: GPL-2.0-only
/*
 * Low-level idle sequences
 */

#include <linux/cpu.h>
#include <linux/irqflags.h>

#include <asm/barrier.h>
#include <asm/cpuidle.h>
#include <asm/cpufeature.h>
#include <asm/sysreg.h>

/*
 * cpu_do_idle()
 *
 * Idle the processor (wait for interrupt).
 *
 * If the CPU supports priority masking we must do additional work to
 * ensure that interrupts are not masked at the PMR (because the core will
 * not wake up if we block the wake up signal in the interrupt controller).
 */
void __cpuidle cpu_do_idle(void)
{
 struct arm_cpuidle_irq_context context;

 arm_cpuidle_save_irq_context(&context);

 dsb(sy);
 wfi();

 arm_cpuidle_restore_irq_context(&context);
}

/*
 * This is our default idle handler.
 */
void __cpuidle arch_cpu_idle(void)
{
 /*
 * This should do all the clock switching and wait for interrupt
 * tricks
 */
 cpu_do_idle();
}