Constant sel4_config::consts::IRQ_REPORTING

pub const IRQ_REPORTING: bool = true;