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