pub const MAX_IRQS: u32 = 7u32;