sel4_config::consts

Constant USER_TOP

Source 
pub const USER_TOP: &str = "0xa0000000";