don't let PCI BAR updates go through when device IO-space disabled

diff --git a/palacios/src/devices/pci.c b/palacios/src/devices/pci.c
index c911639..f9c7d1a 100644 (file)
--- a/palacios/src/devices/pci.c
+++ b/palacios/src/devices/pci.c
@@ -856,6 +856,7 @@ static int bar_update(struct pci_device * pci_dev, uint32_t offset,
            // only do this if pci device is enabled....
            if (!(pci_dev->config_header.status & 0x1)) {
                PrintError(VM_NONE, VCORE_NONE, "PCI Device IO space not enabled\n");
+        break;
            }
 
            for (i = 0; i < bar->num_ports; i++) {