Constant sel4_common::sel4_config::PPTR_BASE

pub const PPTR_BASE: usize = 0xFFFFFFC000000000;