Lines Matching refs:cpu_dcache_wbinv_range
859 cpu_dcache_wbinv_range(va, PAGE_SIZE);
2815 cpu_dcache_wbinv_range(dstp, PAGE_SIZE);
3799 cpu_dcache_wbinv_range(va, PAGE_SIZE);
3962 cpu_dcache_wbinv_range(va, PAGE_SIZE);
5564 cpu_dcache_wbinv_range(vdstp, PAGE_SIZE);
5694 cpu_dcache_wbinv_range(vdstp, PAGE_SIZE);
5833 cpu_dcache_wbinv_range(vdstp, PAGE_SIZE);
6634 cpu_dcache_wbinv_range((vaddr_t)pdep,
6652 cpu_dcache_wbinv_range((vaddr_t)ptep, sizeof(*ptep));
7670 cpu_dcache_wbinv_range(va, PAGE_SIZE);