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()HelenOS homepage, sources at GitHub