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

diff --git a/palacios/include/geekos/vmcs.h b/palacios/include/palacios/vmcs.h
similarity index 99%
rename from palacios/include/geekos/vmcs.h
rename to palacios/include/palacios/vmcs.h
index f73ec3d..bf9f333 100644
--- a/palacios/include/geekos/vmcs.h
+++ b/palacios/include/palacios/vmcs.h
@@ -1,7 +1,7 @@
 #ifndef __VMCS_H
 #define __VMCS_H
 
-#include <geekos/ktypes.h>
+#include <palacios/vmm_types.h>
 
 
 /* 16 bit guest state */
@@ -576,6 +576,6 @@ extern uint_t VMCS_READ();
 //uint_t VMCSRead(uint_t tag, void * val);
 
 
-#include <geekos/vmcs_gen.h>
+#include <palacios/vmcs_gen.h>
 
 #endif