X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm.c;h=4a71a118bfe20f5a5e541f1d1283e0176b8a82d3;hb=ddd8ed1df60f75104096a8b6a9996ef5f462f594;hp=e860391c9579e93f315d7a13689f0a626db31d6f;hpb=de3fce7c94e36342005ae5f79fcf22937acde586;p=palacios.git

diff --git a/palacios/src/palacios/vmm.c b/palacios/src/palacios/vmm.c
index e860391..4a71a11 100644
--- a/palacios/src/palacios/vmm.c
+++ b/palacios/src/palacios/vmm.c
@@ -19,7 +19,7 @@
 
 #include <palacios/vmm.h>
 #include <palacios/svm.h>
-#include <palacios/vmx.h>
+//#include <palacios/vmx.h>
 #include <palacios/vmm_intr.h>
 #include <palacios/vmm_config.h>
 #include <palacios/vm_guest.h>