X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx.h;fp=palacios%2Finclude%2Fgeekos%2Fvmx.h;h=d713b1f7f67552d72adf3fdd549f2fb24188d067;hp=4a8ae25c46cd195999f931be2a87254b7f44430b;hb=a109eb919a162bd7de58d62020801bc2e633be50;hpb=5ad0c835a5bd7181a7a342478bd398ad73712306

diff --git a/palacios/include/geekos/vmx.h b/palacios/include/palacios/vmx.h
similarity index 97%
rename from palacios/include/geekos/vmx.h
rename to palacios/include/palacios/vmx.h
index 4a8ae25..d713b1f 100644
--- a/palacios/include/geekos/vmx.h
+++ b/palacios/include/palacios/vmx.h
@@ -1,8 +1,8 @@
 #ifndef __VMX_H
 #define __VMX_H
 
-#include <geekos/ktypes.h>
-#include <geekos/vmcs.h>
+#include <palacios/vmm_types.h>
+#include <palacios/vmcs.h>
 
 #define IA32_FEATURE_CONTROL_MSR ((unsigned int)0x3a)
 #define IA32_VMX_BASIC_MSR ((unsigned int)0x480)