hot_reset_release 1096 drivers/vfio/pci/vfio_pci.c 			goto hot_reset_release;
hot_reset_release 1112 drivers/vfio/pci/vfio_pci.c hot_reset_release: