Constant IRQINFO_HANDLED 

pub const IRQINFO_HANDLED: u32 = 1u32;