80c80
< mmap_start = mmap_end = 0x40000000L;
---
> mmap_end = 0x40000000L;
97c97
< mmap_start = mmap_end = 0x4000000000L;
---
> mmap_end = 0x4000000000L;