117c117
< mmap_start = mmap_end = (Addr)0x2aaaaaaab000ULL;
---
> mmap_end = (Addr)0x2aaaaaaab000ULL;
154c154
< mmap_start = mmap_end = (Addr)0xf7ffe000ULL;
---
> mmap_end = (Addr)0xf7ffe000ULL;