| /* | |
| * Copyright (c) 2016 Nordic Semiconductor ASA | |
| * Copyright (c) 2016 Vinayak Kariappa Chettimada | |
| * | |
| * SPDX-License-Identifier: Apache-2.0 | |
| */ | |
| static inline void cpu_sleep(void) | |
| { | |
| __WFE(); | |
| /* __SEV(); */ | |
| __WFE(); | |
| } | |
| static inline void cpu_dmb(void) | |
| { | |
| /* FIXME: Add necessary host machine required Data Memory Barrier | |
| * instruction along with the below defined compiler memory | |
| * clobber. | |
| */ | |
| __asm__ volatile ("" : : : "memory"); | |
| } |