X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_dev_mgr.h;h=080de99f1a47063f340dae215b80ba670445cdab;hp=0caef8b1ee04fc92b8e4e6dfb2523f9f3416075e;hb=28b1d0ae6db40cb3e1f5a9b3596b625d2f2af0e4;hpb=ace8f0532fa5650c6642a3a7174f3aa19b09095a

diff --git a/palacios/include/palacios/vmm_dev_mgr.h b/palacios/include/palacios/vmm_dev_mgr.h
index 0caef8b..080de99 100644
--- a/palacios/include/palacios/vmm_dev_mgr.h
+++ b/palacios/include/palacios/vmm_dev_mgr.h
@@ -18,9 +18,10 @@ struct vmm_dev_mgr {
   
   uint_t num_mem_hooks;
   struct list_head mem_hooks;
-
+  /*
   uint_t num_irq_hooks;
   struct list_head irq_hooks;
+  */
 };
 
 
@@ -53,6 +54,7 @@ struct dev_mem_hook {
   struct list_head mgr_list;
 };
 
+/*
 struct dev_irq_hook {
   uint_t irq;
 
@@ -64,6 +66,7 @@ struct dev_irq_hook {
   struct list_head mgr_list;
 };
 
+*/
 // Registration of devices
 
 //