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