pub const PAGE_SIZE: u64 = 0x1000;
Guest page size. Chosen to match the x86-64 base page so that guest mmap granularity and MMU granularity agree; nothing here depends on the value.
mmap