Constant sel4_common::sel4_config::PPTR_TOP

pub const PPTR_TOP: usize = 0xFFFFFFFF80000000;