HelenOS sources

dsb                54 kernel/arch/arm32/include/arch/barrier.h #define dsb()    asm volatile ("dsb" ::: "memory")
dsb                73 kernel/arch/arm32/include/arch/barrier.h #define dsb()    CP15DSB_write(0)
dsb                79 kernel/arch/arm32/include/arch/barrier.h #define dsb()    CP15DSB_write(0)

HelenOS homepage, sources at GitHub