sel4_config::consts

Constant SUPPORT_PCID

Source 
pub const SUPPORT_PCID: bool = false;