X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2Fpci.c;h=602f47c34d6b3197a06174adc182710e0c2b36e4;hp=6b5472dbe156733c60682f3552d6f1b23817eefa;hb=70d3ac1e7be22e42fbf8f778367e9bf6d32e5b7f;hpb=e3a2ad0c26462c45cf0a7f1ccc8f0042abbbd776

diff --git a/palacios/src/devices/pci.c b/palacios/src/devices/pci.c
index 6b5472d..602f47c 100644
--- a/palacios/src/devices/pci.c
+++ b/palacios/src/devices/pci.c
@@ -566,7 +566,7 @@ static void init_pci_busses(struct pci_internal * pci_state) {
 
 
 static int pci_init_device(struct vm_device * dev) {
-    struct pci_internal * pci_state = (struct pci_internal *)dev->private_data;;
+    struct pci_internal * pci_state = (struct pci_internal *)dev->private_data;
     int i = 0;
     
     PrintDebug("pci: init_device\n");