X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_shadow_paging.h;h=f39391d07e71f0680344e433df1ecc974993b2d5;hb=a82645917cee62af80d1f1c3b537a12807c25606;hp=f7ececfe1d0809fa4ec211ab99a6712f62841ffc;hpb=c7dc4898f820a63f38c04add12f74d9ea1295ffc;p=palacios.git

diff --git a/palacios/include/palacios/vmm_shadow_paging.h b/palacios/include/palacios/vmm_shadow_paging.h
index f7ececf..f39391d 100644
--- a/palacios/include/palacios/vmm_shadow_paging.h
+++ b/palacios/include/palacios/vmm_shadow_paging.h
@@ -28,7 +28,7 @@
 #include <palacios/vmm_hashtable.h>
 #include <palacios/vmm_list.h>
 #include <palacios/vmm_msr.h>
-
+#include <palacios/vmm_lock.h>
 #include <palacios/vmm_config.h>
 
 
@@ -52,6 +52,7 @@ struct v3_shdw_impl_state {
     struct v3_shdw_pg_impl * current_impl;
     void * impl_data;
 
+    v3_rw_lock_t     event_callback_lock;
     struct list_head event_callback_list;
 
 };