Symbol: xe_vfio_pci_alloc_file
drivers/vfio/pci/xe/main.c
318
migf = xe_vfio_pci_alloc_file(xe_vdev, XE_VFIO_FILE_SAVE);
drivers/vfio/pci/xe/main.c
348
migf = xe_vfio_pci_alloc_file(xe_vdev, XE_VFIO_FILE_RESUME);