X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fgeekos%2Fvmm_util.h;h=ae58b108c35d441bc867d820a6ef5a621ba8f60c;hb=190b2ef9470c23c275754b74745933d973f8c439;hp=402d2c627a7f7878e52f3290ad176394030a5a97;hpb=701de97007c8b6776998eeab78469a4304f6b871;p=palacios.git

diff --git a/palacios/include/geekos/vmm_util.h b/palacios/include/geekos/vmm_util.h
index 402d2c6..ae58b10 100644
--- a/palacios/include/geekos/vmm_util.h
+++ b/palacios/include/geekos/vmm_util.h
@@ -2,12 +2,12 @@
 #define __VMM_UTIL_H
 
 #include <geekos/vmm.h>
+#include <geekos/vmm_mem.h>
 
 
-
-
+#ifndef PAGE_SIZE
 #define PAGE_SIZE 4096
-
+#endif
 typedef union reg_ex {
   ullong_t r_reg;
   struct {
@@ -38,5 +38,4 @@ void PrintTraceHex(unsigned char x);
 void PrintTraceMemDump(unsigned char * start, int n);
 
 
-
 #endif