cpu_dcache_wb_range
cpu_dcache_wb_range((vaddr_t)&cpu_mpidr[cpuindex],
cpu_dcache_wb_range(va, len);
cpu_dcache_wb_range(dstp, PAGE_SIZE);
cpu_dcache_wb_range(dstp, PAGE_SIZE);
cpu_dcache_wb_range(va, PAGE_SIZE);
cpu_dcache_wb_range(va, PAGE_SIZE);
cpu_dcache_wb_range((vaddr_t)cmem, CURSOR_ARGB_SIZE);
cpu_dcache_wb_range((vaddr_t)cmem, CURSOR_ARGB_SIZE);
cpu_dcache_wb_range(va, len);
cpu_dcache_wb_range((vaddr_t)its->its_tab[tab].base, table_size);
cpu_dcache_wb_range((vaddr_t)dw, sizeof(cmd->dw));
cpu_dcache_wb_range((vaddr_t)pt->pt_dma.base,
cpu_dcache_wb_range((vaddr_t)&l1_tab[index],
cpu_dcache_wb_range((vaddr_t)dev->dev_itt.base, itt_size);
cpu_dcache_wb_range((vaddr_t)its->its_cmd.base, GITS_COMMANDS_SIZE);
cpu_dcache_wb_range((vaddr_t)&cpu_mpidr[cpuindex],
cpu_dcache_wb_range((vaddr_t)ptep, cnt * sizeof(pt_entry_t));
cpu_dcache_wb_range(dc->dc_vaddr, dc->dc_size);
extern void (*cpu_dcache_wb_range)(vaddr_t, vsize_t);
cpu_dcache_wb_range(va, len);
cpu_dcache_wb_range = thead_dcache_wb_range;
void (*cpu_dcache_wb_range)(vaddr_t, vsize_t) = cache_nullop;