put_reset         686 drivers/vfio/platform/vfio_platform_common.c 		goto put_reset;
put_reset         700 drivers/vfio/platform/vfio_platform_common.c put_reset: