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