Module memory

Constants

GUEST_MAX_MEM

GUEST_MIN_MEM

MEM_BITS

MEM_SIZE

STACK_TOP

Top of stack; stack grows down from this location.

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