82c82
< stack_base = (Addr)0xf0000000ULL;
---
> memState->stackBase = (Addr)0xf0000000ULL;
85c85
< mmap_end = 0x70000000;
---
> memState->mmapEnd = 0x70000000;
112c112
< stack_base = (Addr)0x80000000000ULL;
---
> memState->stackBase = (Addr)0x80000000000ULL;
115c115
< mmap_end = 0xfffff80000000000ULL;
---
> memState->mmapEnd = 0xfffff80000000000ULL;