Constant kernel::memory_management::virtual_memory_mapper::ADDR_MASK

const ADDR_MASK: u64 = 0x0000_0000_FFFF_F000;