added memory region generated page tables, and removed all the ugliness that was...

[palacios.git] / palacios / include / geekos / vmm_util.h

diff --git a/palacios/include/geekos/vmm_util.h b/palacios/include/geekos/vmm_util.h
index 402d2c6..ae58b10 100644 (file)
--- 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