HelenOS sources

dmb                53 kernel/arch/arm32/include/arch/barrier.h #define dmb()    asm volatile ("dmb" ::: "memory")
dmb                72 kernel/arch/arm32/include/arch/barrier.h #define dmb()    CP15DMB_write(0)
dmb                78 kernel/arch/arm32/include/arch/barrier.h #define dmb()    CP15DSB_write(0)