xref: /optee_os/core/arch/arm/kernel/idle.c (revision a12b98e3b771247bf1b52763737c63d4be46b485)
1 // SPDX-License-Identifier: BSD-2-Clause
2 /*
3  * Copyright (c) 2021, Huawei Technology Co., Ltd
4  */
5 
6 #include <arm.h>
7 #include <kernel/panic.h>
8 
9 void cpu_idle(void)
10 {
11 	dsb();
12 	wfi();
13 }
14