pub const VM_FLAGS_SUPERPAGE_SHIFT: c_int = 16;