cache.h 39 kernel/arch/arm32/include/arch/barrier.h #include <arch/cache.h> cache.h 40 kernel/arch/arm32/include/arch/mm/page_armv4.h #include <arch/cache.h> cache.h 36 kernel/arch/arm32/src/cpu/cpu.c #include <arch/cache.h> cache.h 42 kernel/arch/arm32/src/mm/tlb.c #include <arch/cache.h> cache.h 31 kernel/arch/arm32/src/smc.c #include <arch/cache.h> cache.h 35 kernel/arch/mips32/src/cache.c #include <arch/cache.h>HelenOS homepage, sources at GitHub