* Copyright 2014, Paweł Dziepak, pdziepak@quarnos.org.
* Distributed under the terms of the MIT License.
*
* Authors:
* Alexander von Gluck IV <kallisti5@unixzen.com>
*/
#ifndef _KERNEL_ARCH_ARM_ATOMIC_H
#define _KERNEL_ARCH_ARM_ATOMIC_H
#include <arch_cpu.h>
static inline void
memory_read_barrier_inline(void)
{
dmb();
}
static inline void
memory_write_barrier_inline(void)
{
dmb();
}
static inline void
memory_full_barrier_inline(void)
{
dmb();
}
#define memory_read_barrier memory_read_barrier_inline
#define memory_write_barrier memory_write_barrier_inline
#define memory_full_barrier memory_full_barrier_inline
#endif
