diff options
-rw-r--r-- | drivers/vfio/platform/vfio_platform_common.c | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/drivers/vfio/platform/vfio_platform_common.c b/drivers/vfio/platform/vfio_platform_common.c index 716f421d1b01..a9760c2e68ad 100644 --- a/drivers/vfio/platform/vfio_platform_common.c +++ b/drivers/vfio/platform/vfio_platform_common.c @@ -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; |