cpu_dcache_wb_range
cpu_dcache_wb_range((void *)bpage->vaddr,
cpu_dcache_wb_range(va, 1);
cpu_dcache_wb_range(va + size, 1);
cpu_dcache_wb_range((void *)va, len);
cpu_dcache_wb_range(&conf[girq->gi_lpi], 1);
cpu_dcache_wb_range(&conf[girq->gi_lpi], 1);
cpu_dcache_wb_range(l2_table, ptable->ptab_l2_size);
cpu_dcache_wb_range(&table[index], sizeof(table[index]));
cpu_dcache_wb_range(its_dev->itt, itt_size);
cpu_dcache_wb_range(cmd, sizeof(*cmd));
cpu_dcache_wb_range(sc->sc_conf_base, LPI_CONFTAB_SIZE);
cpu_dcache_wb_range(sc->sc_pend_base[i],
cpu_dcache_wb_range((void *)PHYS_TO_DMAP(pa), PAGE_SIZE);
cpu_dcache_wb_range(l1p, sizeof(pd_entry_t));
cpu_dcache_wb_range(l2p, sizeof(pd_entry_t));
cpu_dcache_wb_range(l3, sizeof(pt_entry_t));
cpu_dcache_wb_range(pte, sizeof(pt_entry_t));
cpu_dcache_wb_range((void *)va, PAGE_SIZE);
cpu_dcache_wb_range(va, 1);
cpu_dcache_wb_range(va + size, 1);
cpu_dcache_wb_range(va, len);
cpu_dcache_wb_range(bpage->vaddr,