X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fdevices%2Fpci.h;fp=palacios%2Finclude%2Fdevices%2Fpci.h;h=d80530a827226adfaa5eaea6f3345c433b4eee51;hb=37c18b2c2335a41c68c2f0b779fd2b7d51ab216d;hp=23bdae78f73e8a1006e31c128a3fb15f8eedc398;hpb=0160025157d9bc39687eb0c5df6cb3d965d20e07;p=palacios.git

diff --git a/palacios/include/devices/pci.h b/palacios/include/devices/pci.h
index 23bdae7..d80530a 100644
--- a/palacios/include/devices/pci.h
+++ b/palacios/include/devices/pci.h
@@ -24,7 +24,7 @@
 
 #ifdef __V3VEE__
 
-#include <palacios/vm_dev.h>
+
 #include <palacios/vmm_types.h>
 #include <palacios/vmm_rbtree.h>
 
@@ -115,7 +115,7 @@ struct pci_device {
 
 
 
-struct vm_device * v3_create_pci();
+
 
 struct pci_device * 
 v3_pci_register_device(struct vm_device * pci,