sel4_config::consts

Constant IRQ_REPORTING

Source 
pub const IRQ_REPORTING: bool = true;