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

diff --git a/palacios/include/geekos/vmm_util.h b/palacios/include/palacios/vmm_util.h
similarity index 94%
rename from palacios/include/geekos/vmm_util.h
rename to palacios/include/palacios/vmm_util.h
index 25994c3..323b977 100644
--- a/palacios/include/geekos/vmm_util.h
+++ b/palacios/include/palacios/vmm_util.h
@@ -1,7 +1,7 @@
 #ifndef __VMM_UTIL_H
 #define __VMM_UTIL_H
 
-#include <geekos/ktypes.h>
+#include <palacios/vmm_types.h>
 
 
 #ifndef PAGE_SIZE