cpu_dcache_wbinv_range
cpu_dcache_wbinv_range((void *)bpage->vaddr,
cpu_dcache_wbinv_range(release_addr, sizeof(*release_addr));
cpu_dcache_wbinv_range(release_vaddr, size);
cpu_dcache_wbinv_range((void *)tmpva, pte_size);
cpu_dcache_wbinv_range(bpage->vaddr,
cpu_dcache_wbinv_range(base, size);