char *dma_addr = phys_to_virt(dev_addr);  if (dir == DMA_NONE) BUG(); if (dma_addr >= io_tlb_start && dma_addr < io_tlb_end) sync_single(hwdev, dma_addr, size, dir); else if (dir == DMA_FROM_DEVICE) mark_clean(dma_addr, size); 
swiotlb_sync_single(hwdev, dev_addr, size, dir); 
swiotlb_sync_single_for_device(struct device *hwdev, dma_addr_t dev_addr,			       size_t size, int dir){	char *dma_addr = phys_to_virt(dev_addr);	if (dir == DMA_NONE)		BUG();	if (dma_addr >= io_tlb_start && dma_addr < io_tlb_end)		sync_single(hwdev, dma_addr, size, dir);	else if (dir == DMA_FROM_DEVICE)		mark_clean(dma_addr, size);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8270f3f1a605c83b3aa516c1eaed209fe0884e84/swiotlb.c/buggy/lib/swiotlb.c