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

diff --git a/palacios/include/palacios/vmm_shadow_paging.h b/palacios/include/palacios/vmm_shadow_paging.h
index 6af224c..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;
 
 };
@@ -62,6 +63,7 @@ struct v3_shdw_pg_state {
     v3_reg_t guest_cr3;
     v3_reg_t guest_cr0;
     v3_msr_t guest_efer;
+    v3_reg_t guest_cr4;
 
     void * local_impl_data;