X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_direct_paging.h;h=6e1a3b59206f4032571f720d98cf6d707315d064;hb=42b80fddfbfea5c5603b71d80d3e2ba2a53a2074;hp=3a81f2c440a83d8ea19518458b2dee835872973c;hpb=2f8874213ef55452fd063eec4a87536454a2c40f;p=palacios.git

diff --git a/palacios/include/palacios/vmm_direct_paging.h b/palacios/include/palacios/vmm_direct_paging.h
index 3a81f2c..6e1a3b5 100644
--- a/palacios/include/palacios/vmm_direct_paging.h
+++ b/palacios/include/palacios/vmm_direct_paging.h
@@ -26,6 +26,7 @@
 #include <palacios/vmm_mem.h>
 #include <palacios/vmm_paging.h>
 #include <palacios/vmm_list.h>
+#include <palacios/vmm_lock.h>
  
 
 /**********************************
@@ -39,6 +40,7 @@ struct v3_passthrough_impl_state {
     // The externally visible state is just the callbacks
     v3_rw_lock_t     event_callback_lock;
     struct list_head event_callback_list;
+    int              inited; 
 };
 
 
@@ -109,6 +111,7 @@ struct v3_nested_impl_state {
     // The externally visible state is just the callbacks
     v3_rw_lock_t     event_callback_lock;
     struct list_head event_callback_list;
+    int              inited; 
 };
 
 int v3_init_nested_paging(struct v3_vm_info *vm);