1/* 2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3 * 4 * SPDX-License-Identifier: GPL-2.0-only 5 */ 6 7#pragma once 8 9static inline void wfi(void) 10{ 11 asm volatile("wfi" ::: "memory"); 12} 13 14static inline void dsb(void) 15{ 16 asm volatile("dsb" ::: "memory"); 17} 18 19static inline void dmb(void) 20{ 21 asm volatile("dmb" ::: "memory"); 22} 23 24static inline void isb(void) 25{ 26 asm volatile("isb" ::: "memory"); 27} 28 29