xe_vfio_pci_alloc_file
migf = xe_vfio_pci_alloc_file(xe_vdev, XE_VFIO_FILE_SAVE);
migf = xe_vfio_pci_alloc_file(xe_vdev, XE_VFIO_FILE_RESUME);