/* | |
* 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"); | |
} |