HelenOS sources

isb                63 kernel/arch/arm32/src/mm/tlb.c 	isb();
isb               109 kernel/arch/arm32/src/mm/tlb.c 	isb();
isb                67 kernel/arch/arm32/src/smc.c 	isb();