HelenOS sources

isb                55 kernel/arch/arm32/include/arch/barrier.h #define isb()    asm volatile ("isb" ::: "memory")
isb                74 kernel/arch/arm32/include/arch/barrier.h #define isb()    CP15ISB_write(0)
isb                80 kernel/arch/arm32/include/arch/barrier.h #define isb()