cpuidle.h

 1/* SPDX-License-Identifier: GPL-2.0 */
 2/*
 3 * Copyright (C) 2021 Allwinner Ltd
 4 * Copyright (C) 2021 Western Digital Corporation or its affiliates.
 5 */
 6
 7#ifndef _ASM_RISCV_CPUIDLE_H
 8#define _ASM_RISCV_CPUIDLE_H
 9
10#include <asm/barrier.h>
11#include <asm/processor.h>
12
13static inline void cpu_do_idle(void)
14{
15	/*
16	 * Add mb() here to ensure that all
17	 * IO/MEM accesses are completed prior
18	 * to entering WFI.
19	 */
20	mb();
21	wait_for_interrupt();
22}
23
24#endif