swiotlb_sync_single_range(hwdev, dev_addr, offset, size, dir); 
swiotlb_sync_single_range(hwdev, dev_addr, offset, size, dir, SYNC_FOR_DEVICE); 
swiotlb_sync_single_range_for_device(struct device *hwdev, dma_addr_t dev_addr,				     unsigned long offset, size_t size, int dir){	swiotlb_sync_single_range(hwdev, dev_addr, offset, size, dir);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/de69e0f0b38a467d881e138a302b005bf31c8400/swiotlb.c/clean/lib/swiotlb.c