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