Module memory

Structs

• Region

Constants

• GUEST_MAX_MEM
• GUEST_MIN_MEM
• MEM_BITS
• MEM_SIZE
• PAGE_TABLE
• PRE_LOAD
• STACK_TOP
  Top of stack; stack grows down from this location.
• SYSTEM
• TEXT_START
  Program (text followed by data and then bss) gets loaded in starting at this location. HEAP begins right afterwards.

Functions

• is_guest_memory
  Returns whether addr is within guest memory bounds.
• sys_alloc_aligned^⚠
  Safety