pub const IRQ_INFO_EXT_IRQ: u32 = 0 << 8; // 0u32