NUM_DOMAINS

sel4_config::consts

Constant NUM_DOMAINS 

Source 
pub const NUM_DOMAINS: &str = "1";