src/arch/aarch64/inc/arch_barriers.h

#ifndef _ARCH_BARRIERS_H
#define _ARCH_BARRIERS_H

static inline void dmb(void)
{
	__asm__ volatile("dmb sy");
}

static inline void dsb(void)
{
	__asm__ volatile("dsb sy");
}

static inline void isb(void)
{
	__asm__ volatile("isb");
}

#endif /* _ARCH_BARRIERS_H */