X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_direct_paging.h;h=fc9d924942ef755c76cacf60929205962a2c1fd7;hb=9d346ee2cf8a7f2a79dc4929b8e0416de7d8f8c8;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..fc9d924 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; 
 };