HelenOS sources

dcache_flush       42 boot/arch/arm64/include/arch/barrier.h extern void dcache_flush(void *, size_t);
dcache_flush      294 boot/arch/arm64/src/main.c 	dcache_flush(bootinfo, sizeof(*bootinfo));
dcache_flush       43 kernel/arch/arm32/include/arch/cache.h extern void dcache_flush(void);