cpu_dcache_wb_range
cpu_dcache_wb_range(va, len);
cpu_dcache_wb_range((vaddr_t)&cpu_hatch_ci, sizeof(paddr_t));
cpu_dcache_wb_range((vaddr_t)ci, sizeof(*ci));
cpu_dcache_wb_range((vaddr_t)(pte), sizeof(pt_entry_t));\
cpu_dcache_wb_range((vaddr_t)(pte), \
cpu_dcache_wb_range(va, len);
cpu_dcache_wb_range((vaddr_t)&cpu_hatch_ci, sizeof(paddr_t));
cpu_dcache_wb_range((vaddr_t)ci, sizeof(*ci));
cpu_dcache_wb_range((vaddr_t)ci, sizeof(*ci));
cpu_dcache_wb_range((vaddr_t)&prop[irqno - LPI_BASE],
cpu_dcache_wb_range((vaddr_t)&prop[irqno - LPI_BASE],
cpu_dcache_wb_range((vaddr_t)&queue[sc->sc_cmdidx], sizeof(*cmd));
cpu_dcache_wb_range((vaddr_t)&table[idx], sizeof(table[idx]));
cpu_dcache_wb_range((vaddr_t)adm->adm_kva, size);
cpu_dcache_wb_range((vaddr_t)&prop[irq],
cpu_dcache_wb_range((vaddr_t)&prop[irq],
cpu_dcache_wb_range((vaddr_t)pl3, sizeof(*pl3));
cpu_dcache_wb_range((vaddr_t)&vp3->l3[VP_IDX3(va)],
cpu_dcache_wb_range((vaddr_t)&dom->sd_vp.l0->l0[idx0],
cpu_dcache_wb_range((vaddr_t)&vp1->l1[idx1],
cpu_dcache_wb_range((vaddr_t)&vp2->l2[idx2],
void cpu_dcache_wb_range(vaddr_t, vsize_t);
cpu_dcache_wb_range = sfcc_cache_wbinv_range;
extern void (*cpu_dcache_wb_range)(vaddr_t, vsize_t);
cpu_dcache_wb_range(va, len);
cpu_dcache_wb_range = zicbom_dcache_wb_range;
cpu_dcache_wb_range = thead_dcache_wb_range;
void (*cpu_dcache_wb_range)(vaddr_t, vsize_t) = cpu_cache_nop_range;