sel4_config::consts

Constant PADDR_USER_DEVICE_TOP

Source 
pub const PADDR_USER_DEVICE_TOP: &str = "1099511627776";