Missing commit (compilation with memmory tracking off)

[palacios.git] / palacios / include / palacios / vmm_shadow_paging.h

diff --git a/palacios/include/palacios/vmm_shadow_paging.h b/palacios/include/palacios/vmm_shadow_paging.h
index 6af224c..f39391d 100644 (file)
--- 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;