cpu_dcache_wbinv_range
cpu_dcache_wbinv_range(bpage->vaddr,
cpu_dcache_wbinv_range(irs->ist_base, size);
cpu_dcache_wbinv_range(l2_ist, size);
cpu_dcache_wbinv_range(addr, size);
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((void *)base, size);