mips_dcache_wbinv_range
mips_dcache_wbinv_range(start, minlen);
mips_dcache_wbinv_range(preboundary,
mips_dcache_wbinv_range(lastboundary,
mips_dcache_wbinv_range(addr + offset, minlen);
mips_dcache_wbinv_range(addr + offset, minlen);
mips_dcache_wbinv_range((vaddr_t)cookie->id_bouncebuf + offset,
mips_dcache_wbinv_range(start, minlen);
mips_dcache_wbinv_range(preboundary,
mips_dcache_wbinv_range(lastboundary,
mips_dcache_wbinv_range((vaddr_t)buf, bufsize);
mips_dcache_wbinv_range(addr + offset, minlen);
mips_dcache_wbinv_range(
mips_dcache_wbinv_range(sva, eva - sva);
mips_dcache_wbinv_range(vaddr, minlen);
mips_dcache_wbinv_range(preboundary,
mips_dcache_wbinv_range(lastboundary,
mips_dcache_wbinv_range(va, PAGE_SIZE);
mips_dcache_wbinv_range(va, PAGE_SIZE);
mips_dcache_wbinv_range(tva, PAGE_SIZE);
mips_dcache_wbinv_range(MIPS_PHYS_TO_KSEG0(pa), PAGE_SIZE);
mips_dcache_wbinv_range(addr + offset, minlen);
mips_dcache_wbinv_range(addr + offset, minlen);
mips_dcache_wbinv_range(addr + offset, minlen);
mips_dcache_wbinv_range(addr + offset, minlen);
mips_dcache_wbinv_range(addr + offset, minlen);
mips_dcache_wbinv_range(addr + offset, minlen);
mips_dcache_wbinv_range(addr + offset, minlen);