X-Git-Url: http://git.barrelfish.org/?p=barrelfish;a=blobdiff_plain;f=kernel%2Finclude%2Ftarget%2Fx86_64%2Foffsets_target.h;h=0761873426e9b259420f2d4ff395133a7e7c788a;hp=e48b033684825d457de05117705e1042c8799c57;hb=d13c7d2fe6f5e3f82a035effcc10785c7fb03520;hpb=2fd5b62dbb5a249c3d461ad27e9ae2596f1fd521

diff --git a/kernel/include/target/x86_64/offsets_target.h b/kernel/include/target/x86_64/offsets_target.h
index e48b033..0761873 100644
--- a/kernel/include/target/x86_64/offsets_target.h
+++ b/kernel/include/target/x86_64/offsets_target.h
@@ -62,7 +62,7 @@
  * for a bigger physical address space.  We set this to 37-bit,
  * i.e. 128 GBytes.
  */
-#define X86_64_PADDR_SPACE_LIMIT       ((genpaddr_t)1 << 40)
+#define X86_64_PADDR_SPACE_LIMIT       ((genpaddr_t)1 << 37)
 
 /**
  * Static address space limit for the init user-space domain. The
@@ -100,7 +100,7 @@
  * Aligns an address to the nearest PML4 entry by masking out lower 39
  * bits.
  */
-#define X86_64_PML4_ALIGN(addr)        ((addr) & ((genpaddr_t)0x7fffff << 41))
+#define X86_64_PML4_ALIGN(addr)        ((addr) & ((genpaddr_t)0x1ffffff << 39))
 
 /**
  * Absolute offset of mapped physical memory within virtual address