From: Kyle Hale <kh@u.northwestern.edu>
Date: Mon, 24 Mar 2014 17:43:16 +0000 (-0500)
Subject: don't let PCI BAR updates go through when device IO-space disabled
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=95a09f3e974f23d8e3d20b3a333f5c07631be17d

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