|
@@ -230,7 +230,15 @@ static void vfio_platform_release(void *device_data)
|
|
|
mutex_lock(&driver_lock);
|
|
|
|
|
|
if (!(--vdev->refcnt)) {
|
|
|
- vfio_platform_call_reset(vdev, NULL);
|
|
|
+ const char *extra_dbg = NULL;
|
|
|
+ int ret;
|
|
|
+
|
|
|
+ ret = vfio_platform_call_reset(vdev, &extra_dbg);
|
|
|
+ if (ret && vdev->reset_required) {
|
|
|
+ dev_warn(vdev->device, "reset driver is required and reset call failed in release (%d) %s\n",
|
|
|
+ ret, extra_dbg ? extra_dbg : "");
|
|
|
+ WARN_ON(1);
|
|
|
+ }
|
|
|
vfio_platform_regions_cleanup(vdev);
|
|
|
vfio_platform_irq_cleanup(vdev);
|
|
|
}
|