diff options
| -rw-r--r-- | lib/asm.h | 9 |
1 files changed, 5 insertions, 4 deletions
@@ -21,9 +21,10 @@ #include <stdint.h> -#define CLI() __asm__ volatile ("cpsid i") -#define STI() __asm__ volatile ("cpsie i") -#define WFI() __asm__ volatile ("wfi") +#define CLI() __asm__ ("cpsid i") +#define STI() __asm__ ("cpsie i") +#define WFI() __asm__ ("wfi") +#define DMB() __asm__ ("dmb") static inline uint32_t get_BASEPRI(void) { @@ -36,7 +37,7 @@ static inline uint32_t get_BASEPRI(void) static inline void set_BASEPRI(uint32_t p) { - __asm__ volatile ("msr basepri, %0" ::"r"(p)); + __asm__ ("msr basepri, %0" ::"r"(p)); } #endif /* FMK_ASM_H */ |