pub const USER_ADDR_MAX: u64 = 0x0000_8000_0000_0000;
Maximum virtual address we accept for user-space mappings.