Constant LINEAR_MAPPING_VADDR_RANGE 

pub const LINEAR_MAPPING_VADDR_RANGE: Range<Vaddr>;