xen_dma_sync_for_device
xen_dma_sync_for_device(dev, dev_addr, size, dir);
xen_dma_sync_for_device(dev, dma_addr, size, dir);
void xen_dma_sync_for_device(struct device *dev, dma_addr_t handle,