r3k_flush_dcache_range  224 arch/mips/mm/c-r3k.c 	r3k_flush_dcache_range(KSEG0, KSEG0 + dcache_size);
r3k_flush_dcache_range  264 arch/mips/mm/c-r3k.c 	r3k_flush_dcache_range(kaddr, kaddr + PAGE_SIZE);
r3k_flush_dcache_range  288 arch/mips/mm/c-r3k.c 	r3k_flush_dcache_range(start, start + size);