vfio_platform_put_reset  701 drivers/vfio/platform/vfio_platform_common.c 	vfio_platform_put_reset(vdev);
vfio_platform_put_reset  714 drivers/vfio/platform/vfio_platform_common.c 		vfio_platform_put_reset(vdev);