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

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>