dcache_wb_poc
dcache_wb_poc(va, pa, 1);
dcache_wb_poc(va + size, pa + size, 1);
dcache_wb_poc(va, pa, len);
dcache_wb_poc(bpage->vaddr,
dcache_wb_poc((vm_offset_t)ptr, (vm_paddr_t)vtophys(ptr), len);