dma_wb_range
void dma_wb_range(unsigned long start, unsigned long end);
cache_op(paddr, size, dma_wb_range);