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

diff --git a/palacios/include/geekos/vmcs_gen.h b/palacios/include/palacios/vmcs_gen.h
similarity index 99%
rename from palacios/include/geekos/vmcs_gen.h
rename to palacios/include/palacios/vmcs_gen.h
index 0e10af9..5a07922 100644
--- a/palacios/include/geekos/vmcs_gen.h
+++ b/palacios/include/palacios/vmcs_gen.h
@@ -1,7 +1,7 @@
 #ifndef vmcs_gen
 #define vmcs_gen
-#include <geekos/vmcs.h>
-#include <geekos/vmm.h>
+#include <palacios/vmcs.h>
+#include <palacios/vmm.h>
 
 void    Set_VMCS_GUEST_ES_SELECTOR(uint_t val);
 uint_t  Get_VMCS_GUEST_ES_SELECTOR();