+static inline void __dma_sync(void)
+{
+ ? ? ? dsb();
+}
+
?/*
?* Return whether the given device DMA address mask can be supported
?* properly. ?For example, if your device can only drive the low 24-bits

@@ -378,6 +383,7 @@ static inline dma_addr_t dma_map_single(struct device *dev, void *cpu_addr,

? ? ? ?BUG_ON(!valid_dma_direction(dir));

? ? ? ?addr = __dma_map_single(dev, cpu_addr, size, dir);
+ ? ? ? __dma_sync();