63,64c63
< const Addr mem_base = 0x80000000;
< const Addr stack_base = mem_base;
---
> const Addr stack_base = 0x7FFFFFFFFFFFFFFFL;
69c68
< const Addr mmap_end = mem_base;
---
> const Addr mmap_end = 0x4000000000000000L;