1 // SPDX-License-Identifier: BSD-2-Clause
2 /*
3  * Copyright 2022 NXP
4  */
5 
6 #include <riscv.h>
7 #include <kernel/panic.h>
8 
cpu_idle(void)9 void cpu_idle(void)
10 {
11 	/* ensure memory operations were complete */
12 	mb();
13 	/* stall the hart */
14 	wfi();
15 }
16