USER_TOP

sel4_config::consts

Constant USER_TOP 

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