Symbol: vfio_pci_dev_set_hot_reset
drivers/vfio/pci/vfio_pci_core.c
1399
ret = vfio_pci_dev_set_hot_reset(vdev->vdev.dev_set, &info, NULL);
drivers/vfio/pci/vfio_pci_core.c
1435
return vfio_pci_dev_set_hot_reset(vdev->vdev.dev_set, NULL,
drivers/vfio/pci/vfio_pci_core.c
212
static int vfio_pci_dev_set_hot_reset(struct vfio_device_set *dev_set,