Missing commit (compilation with memmory tracking off)

diff --git a/palacios/include/palacios/vmm_direct_paging.h b/palacios/include/palacios/vmm_direct_paging.h
index 3a81f2c..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>
  
 
 /**********************************

diff --git a/palacios/include/palacios/vmm_shadow_paging.h b/palacios/include/palacios/vmm_shadow_paging.h
index c65466b..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>