various changes...

[palacios.git] / palacios / include / devices / generic.h

diff --git a/palacios/include/devices/generic.h b/palacios/include/devices/generic.h
index cb0ca64..77d3822 100644 (file)
--- a/palacios/include/devices/generic.h
+++ b/palacios/include/devices/generic.h
@@ -25,10 +25,9 @@
 
 #ifdef __V3VEE__
 
+#include <palacios/vmm_dev_mgr.h>
 
 
-#include <palacios/vm_dev.h>
-
 //
 // The generic device simply hooks ranges of ports, addresses, and irqs
 // if they are not already hooked
@@ -53,11 +52,8 @@
 
 
 int v3_generic_add_port_range(struct vm_device * dev, uint_t start, uint_t end, uint_t type);
-int v3_generic_add_mem_range(struct vm_device * dev, void * start, void * end, uint_t type);
-int v3_generic_add_irq_range(struct vm_device * dev, uint_t start, uint_t end, uint_t type);
 
-// The lists given are null terminated
-struct vm_device * create_generic();  
+ 
 
 
 #endif // ! __V3VEE__