sel4_config::consts

Constant MAX_VPIDS

Source 
pub const MAX_VPIDS: &str = "0";