162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */
262306a36Sopenharmony_ci/*
362306a36Sopenharmony_ci * Copyright (C) 2021 Allwinner Ltd
462306a36Sopenharmony_ci * Copyright (C) 2021 Western Digital Corporation or its affiliates.
562306a36Sopenharmony_ci */
662306a36Sopenharmony_ci
762306a36Sopenharmony_ci#ifndef _ASM_RISCV_CPUIDLE_H
862306a36Sopenharmony_ci#define _ASM_RISCV_CPUIDLE_H
962306a36Sopenharmony_ci
1062306a36Sopenharmony_ci#include <asm/barrier.h>
1162306a36Sopenharmony_ci#include <asm/processor.h>
1262306a36Sopenharmony_ci
1362306a36Sopenharmony_cistatic inline void cpu_do_idle(void)
1462306a36Sopenharmony_ci{
1562306a36Sopenharmony_ci	/*
1662306a36Sopenharmony_ci	 * Add mb() here to ensure that all
1762306a36Sopenharmony_ci	 * IO/MEM accesses are completed prior
1862306a36Sopenharmony_ci	 * to entering WFI.
1962306a36Sopenharmony_ci	 */
2062306a36Sopenharmony_ci	mb();
2162306a36Sopenharmony_ci	wait_for_interrupt();
2262306a36Sopenharmony_ci}
2362306a36Sopenharmony_ci
2462306a36Sopenharmony_ci#endif
25