sel4_config::consts

Constant PADDR_USER_DEVICE_TOP

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