X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fsvm.h;h=52c1e3fcd675cb4c2642bbd0cd0768cd63d4737d;hb=a1e0475bbefa968791679c5e71232ddca522868b;hp=3ede354e53a2420994fd23fecc085377aed1b4b2;hpb=90b8236597004a37a9d5acb33a1b1f987fe9070c;p=palacios.git

diff --git a/palacios/include/palacios/svm.h b/palacios/include/palacios/svm.h
index 3ede354..52c1e3f 100644
--- a/palacios/include/palacios/svm.h
+++ b/palacios/include/palacios/svm.h
@@ -1,12 +1,15 @@
 #ifndef __SVM_H
 #define __SVM_H
 
-#include <palacios/vmm_util.h>
+
 #include <palacios/vmm.h>
-#include <palacios/vmcb.h>
+
 
 #ifdef __V3VEE__
 
+#include <palacios/vmcb.h>
+#include <palacios/vmm_util.h>
+
 #define CPUID_FEATURE_IDS 0x80000001
 #define CPUID_FEATURE_IDS_ecx_svm_avail 0x00000004