HelenOS sources

dsb               100 kernel/arch/arm32/src/atomic.c 	dsb();
dsb                62 kernel/arch/arm32/src/mm/tlb.c 	dsb();
dsb               108 kernel/arch/arm32/src/mm/tlb.c 	dsb();
dsb                62 kernel/arch/arm32/src/smc.c 	dsb();
dsb                65 kernel/arch/arm32/src/smc.c 	dsb();