Expose vmalloc-like os interface to Palacios, and updates to use it

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

diff --git a/palacios/include/palacios/vmm_direct_paging.h b/palacios/include/palacios/vmm_direct_paging.h
index ee41816..07aec18 100644 (file)
--- 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>
  
 
 /**********************************
@@ -37,6 +38,7 @@ struct v3_passthrough_impl_state {
     // currently there is only a single implementation
     // that internally includes SVM and VMX support
     // The externally visible state is just the callbacks
+    v3_rw_lock_t     event_callback_lock;
     struct list_head event_callback_list;
 };
 
@@ -106,6 +108,7 @@ struct v3_nested_impl_state {
     // currently there is only a single implementation
     // that internally includes SVM and VMX support
     // The externally visible state is just the callbacks
+    v3_rw_lock_t     event_callback_lock;
     struct list_head event_callback_list;
 };