X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_shadow_paging.h;h=f39391d07e71f0680344e433df1ecc974993b2d5;hb=8d2c7907ad4b10ccb51dfb7e5ee7c02604b786ba;hp=c65466bfc1b93eab10e8131c7409340ce7476d31;hpb=604e1d91e2cb21ca9b0afcb9a27cabd7119d67a4;p=palacios.releases.git

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>