Sign in
opensecura
/
3p
/
sel4
/
sel4_tools
/
refs/heads/master
/
.
/
elfloader-tool
/
src
/
arch-arm
/
32
/
idle.c
blob: d2df2cae69cae75823e06943252c0a7e796bef68 [
file
] [
log
] [
blame
] [
edit
]
/*
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: GPL-2.0-only
*/
#include
<armv/machine.h>
void
cpu_idle
(
void
)
{
dsb
();
wfi
();
}