swiotlb_sync_single(hwdev, dev_addr, size, dir); 
swiotlb_sync_single(hwdev, dev_addr, size, dir, SYNC_FOR_CPU); 
swiotlb_sync_single_for_cpu(struct device *hwdev, dma_addr_t dev_addr,			    size_t size, int dir){	swiotlb_sync_single(hwdev, dev_addr, size, dir);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/de69e0f0b38a467d881e138a302b005bf31c8400/swiotlb.c/clean/lib/swiotlb.c