From: Peter Dinda <pdinda@northwestern.edu>
Date: Mon, 7 Jul 2014 21:13:37 +0000 (-0500)
Subject: Missing commit (compilation with memmory tracking off)
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=8d2c7907ad4b10ccb51dfb7e5ee7c02604b786ba

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
--- 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
--- 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>