break;
        }
  }
+ static inline void
+ _dma_sync(dma_addr_t addr, size_t size, enum dma_data_direction dir)
+ {
+       if (__builtin_constant_p(dir))
+               __dma_sync_inline(addr, size, dir);
+       else
+               __dma_sync(addr, size, dir);
+ }
  
 -/*
 - * Map a single buffer of the indicated size for DMA in streaming mode.
 - * The 32-bit bus address to use is returned.
 - *
 - * Once the device is given the dma address, the device owns this memory
 - * until either pci_unmap_single or pci_dma_sync_single is performed.
 - */
  static inline dma_addr_t
  dma_map_single(struct device *dev, void *ptr, size_t size,
               enum dma_data_direction dir)