needs_restore     233 drivers/vfio/pci/vfio_pci.c 	bool needs_restore = false, needs_save = false;
needs_restore     243 drivers/vfio/pci/vfio_pci.c 			needs_restore = true;
needs_restore     252 drivers/vfio/pci/vfio_pci.c 		} else if (needs_restore) {