X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fdevices%2Fpci.h;h=ff2e27d5813e015e5ffc6a603e4327dac8d46a19;hb=c30d1b88a60c3a8df426ce81553675bbe4afef52;hp=9bf46326ce96b5a8bb23e9c7dea6a04c049c1722;hpb=8300df0450154d7a2db08a7afbd2aca32ce38f70;p=palacios.git

diff --git a/palacios/include/devices/pci.h b/palacios/include/devices/pci.h
index 9bf4632..ff2e27d 100644
--- a/palacios/include/devices/pci.h
+++ b/palacios/include/devices/pci.h
@@ -83,7 +83,7 @@ struct v3_pci_bar {
 
     // Internal PCI data
     uint32_t val;
-    int updated;
+    uint8_t updated;
     uint32_t mask;
 };
 
@@ -151,9 +151,9 @@ struct pci_device {
 
 
 int v3_pci_set_irq_bridge(struct vm_device * pci_bus, int bus_num,
-			  int (*raise_pci_irq)(struct vm_device * dev, struct pci_device * pci_dev), 
-			  int (*lower_pci_irq)(struct vm_device * dev, struct pci_device * pci_dev), 
-			  struct vm_device * bridge_dev);
+			  int (*raise_pci_irq)(struct pci_device * pci_dev, void * dev_data), 
+			  int (*lower_pci_irq)(struct pci_device * pci_dev, void * dev_data), 
+			  void * dev_data);
 
 
 int v3_pci_raise_irq(struct vm_device * pci_bus, int bus_num, struct pci_device * dev);