1 /*
2 * Copyright (c) 2016-2024 Nordic Semiconductor ASA
3 * Copyright (c) 2016 Vinayak Kariappa Chettimada
4 *
5 * SPDX-License-Identifier: Apache-2.0
6 */
7
cpu_sleep(void)8 static inline void cpu_sleep(void)
9 {
10 __WFE();
11 /* __SEV(); */
12 __WFE();
13 }
14
cpu_dmb(void)15 static inline void cpu_dmb(void)
16 {
17 /* FIXME: Add necessary host machine required Data Memory Barrier
18 * instruction along with the below defined compiler memory
19 * clobber.
20 */
21 __asm__ volatile ("" : : : "memory");
22 }
23
