Constant sel4_config::consts::PADDR_USER_DEVICE_TOP

pub const PADDR_USER_DEVICE_TOP: &str = "1099511627776";