|
@@ -161,7 +161,8 @@ static void vfio_platform_regions_cleanup(struct vfio_platform_device *vdev)
|
|
|
kfree(vdev->regions);
|
|
|
}
|
|
|
|
|
|
-static int vfio_platform_call_reset(struct vfio_platform_device *vdev)
|
|
|
+static int vfio_platform_call_reset(struct vfio_platform_device *vdev,
|
|
|
+ const char **extra_dbg)
|
|
|
{
|
|
|
if (vdev->of_reset) {
|
|
|
dev_info(vdev->device, "reset\n");
|
|
@@ -179,7 +180,7 @@ static void vfio_platform_release(void *device_data)
|
|
|
mutex_lock(&driver_lock);
|
|
|
|
|
|
if (!(--vdev->refcnt)) {
|
|
|
- vfio_platform_call_reset(vdev);
|
|
|
+ vfio_platform_call_reset(vdev, NULL);
|
|
|
vfio_platform_regions_cleanup(vdev);
|
|
|
vfio_platform_irq_cleanup(vdev);
|
|
|
}
|
|
@@ -208,7 +209,7 @@ static int vfio_platform_open(void *device_data)
|
|
|
if (ret)
|
|
|
goto err_irq;
|
|
|
|
|
|
- vfio_platform_call_reset(vdev);
|
|
|
+ vfio_platform_call_reset(vdev, NULL);
|
|
|
}
|
|
|
|
|
|
vdev->refcnt++;
|
|
@@ -340,7 +341,7 @@ static long vfio_platform_ioctl(void *device_data,
|
|
|
return ret;
|
|
|
|
|
|
} else if (cmd == VFIO_DEVICE_RESET) {
|
|
|
- return vfio_platform_call_reset(vdev);
|
|
|
+ return vfio_platform_call_reset(vdev, NULL);
|
|
|
}
|
|
|
|
|
|
return -ENOTTY;
|