diff options
| -rw-r--r-- | drivers/vfio/pci/xe/main.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/drivers/vfio/pci/xe/main.c b/drivers/vfio/pci/xe/main.c index 409fa22dfc78..155138250904 100644 --- a/drivers/vfio/pci/xe/main.c +++ b/drivers/vfio/pci/xe/main.c @@ -504,6 +504,7 @@ static void xe_vfio_pci_release_dev(struct vfio_device *core_vdev) container_of(core_vdev, struct xe_vfio_pci_core_device, core_device.vdev); mutex_destroy(&xe_vdev->state_mutex); + vfio_pci_core_release_dev(core_vdev); } static const struct vfio_device_ops xe_vfio_pci_ops = { |