ZYNQ在Linux中如何刷新D-Cache的问题

STM32F103

今天遇到了这样的一个问题，在Linux中需要使用DMA传输数据，根据裸机的程序可以使用Xil_DCacheFlushRange和Xil_DCacheInvalidateRange进行刷新，但是如果在Linux系统中，需要怎样解决该问题？
目前查阅到的有的解释为“调用内核函数dma_sync_single_for_device和dma_sync_single_for_cpu”，但是具体情况不是很了解，不知道论坛里是否有大神能够给出帮助，谢谢。