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) {