lot of changes

[palacios.git] / palacios / include / palacios / vmm_dev_mgr.h

diff --git a/palacios/include/palacios/vmm_dev_mgr.h b/palacios/include/palacios/vmm_dev_mgr.h
index 080de99..ed49769 100644 (file)
--- a/palacios/include/palacios/vmm_dev_mgr.h
+++ b/palacios/include/palacios/vmm_dev_mgr.h
@@ -18,10 +18,7 @@ struct vmm_dev_mgr {
   
   uint_t num_mem_hooks;
   struct list_head mem_hooks;
-  /*
-  uint_t num_irq_hooks;
-  struct list_head irq_hooks;
-  */
+
 };
 
 
@@ -35,10 +32,7 @@ struct dev_io_hook {
   struct vm_device * dev;
 
   // Do not touch anything below this  
-  /*
-    struct dev_io_hook *dev_next, *dev_prev;
-    struct dev_io_hook *mgr_next, *mgr_prev;
-  */
+
   struct list_head dev_list;
   struct list_head mgr_list;
 };
@@ -54,19 +48,7 @@ struct dev_mem_hook {
   struct list_head mgr_list;
 };
 
-/*
-struct dev_irq_hook {
-  uint_t irq;
-
-  int (*handler)(uint_t irq, struct vm_device * dev);
-
-  struct vm_device * dev;
-
-  struct list_head dev_list;
-  struct list_head mgr_list;
-};
 
-*/
 // Registration of devices
 
 //
@@ -87,14 +69,7 @@ int dev_mgr_add_device(struct vmm_dev_mgr * mgr, struct vm_device * dev);
 int dev_mgr_remove_device(struct vmm_dev_mgr * mgr, struct vm_device * dev);
 
 
-/*
-  int dev_mgr_add_io_hook(struct vmm_dev_mgr * mgr, struct dev_io_hook * hook);
-  int dev_mgr_remove_io_hook(struct vmm_dev_mgr * mgr, struct dev_io_hook * hook);
-  int dev_add_io_hook(struct vmm_dev_mgr * mgr, struct dev_io_hook * hook);
-  int dev_remove_io_hook(struct vmm_dev_mgr * mgr, struct dev_io_hook * hook);
-  struct dev_io_hook * dev_find_io_hook(struct vm_device * dev, ushort_t port);
-  struct dev_io_hook * dev_mgr_find_io_hook(struct vmm_dev_mgr * mgr, ushort_t port)
-*/
+
 
 void PrintDebugDevMgr(struct vmm_dev_mgr * mgr);
 void PrintDebugDev(struct vm_device * dev);