sel4_config::consts

Constant IRQ_PIC

Source 
pub const IRQ_PIC: bool = false;