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

diff --git a/palacios/include/palacios/vmm_direct_paging.h b/palacios/include/palacios/vmm_direct_paging.h
index fc9d924..6e1a3b5 100644
--- a/palacios/include/palacios/vmm_direct_paging.h
+++ b/palacios/include/palacios/vmm_direct_paging.h
@@ -111,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);