HelenOS sources

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>