Symbol: dma_wbinv_range