X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmcs.c;h=85ee7a7151ae566e2f5750eb832152c9ade25b79;hb=e0de615834461da95407a446d5883be3a45257a0;hp=67c6f69b7a7798555d360b90992c758234723712;hpb=df69e9f90c11f91a7bb3ccdf4218ef61124a5442;p=palacios.git

diff --git a/palacios/src/palacios/vmcs.c b/palacios/src/palacios/vmcs.c
index 67c6f69..85ee7a7 100644
--- a/palacios/src/palacios/vmcs.c
+++ b/palacios/src/palacios/vmcs.c
@@ -24,6 +24,7 @@
 #include <palacios/vm_guest_mem.h>
 #include <palacios/vmm_ctrl_regs.h>
 #include <palacios/vmm_lowlevel.h>
+#include <palacios/vmm_debug.h>