47 static void dma_cache_maint(dma_addr_t handle, unsigned long offset,  in dma_cache_maint()  argument
54 	xen_pfn = (handle >> XEN_PAGE_SHIFT) + offset / XEN_PAGE_SIZE;  in dma_cache_maint()
87 static void __xen_dma_page_dev_to_cpu(struct device *hwdev, dma_addr_t handle,  in __xen_dma_page_dev_to_cpu()  argument
90 	dma_cache_maint(handle & PAGE_MASK, handle & ~PAGE_MASK, size, dir, DMA_UNMAP);  in __xen_dma_page_dev_to_cpu()
93 static void __xen_dma_page_cpu_to_dev(struct device *hwdev, dma_addr_t handle,  in __xen_dma_page_cpu_to_dev()  argument
96 	dma_cache_maint(handle & PAGE_MASK, handle & ~PAGE_MASK, size, dir, DMA_MAP);  in __xen_dma_page_cpu_to_dev()
111 void __xen_dma_unmap_page(struct device *hwdev, dma_addr_t handle,  in __xen_dma_unmap_page()  argument
121 	__xen_dma_page_dev_to_cpu(hwdev, handle, size, dir);  in __xen_dma_unmap_page()
125 		dma_addr_t handle, size_t size, enum dma_data_direction dir)  in __xen_dma_sync_single_for_cpu()  argument
129 	__xen_dma_page_dev_to_cpu(hwdev, handle, size, dir);  in __xen_dma_sync_single_for_cpu()
133 		dma_addr_t handle, size_t size, enum dma_data_direction dir)  in __xen_dma_sync_single_for_device()  argument
137 	__xen_dma_page_cpu_to_dev(hwdev, handle, size, dir);  in __xen_dma_sync_single_for_device()