vfio_platform_call_reset  231 drivers/vfio/platform/vfio_platform_common.c 		ret = vfio_platform_call_reset(vdev, &extra_dbg);
vfio_platform_call_reset  272 drivers/vfio/platform/vfio_platform_common.c 		ret = vfio_platform_call_reset(vdev, &extra_dbg);
vfio_platform_call_reset  398 drivers/vfio/platform/vfio_platform_common.c 		return vfio_platform_call_reset(vdev, NULL);