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