pub const IRQ_INFO_SOFT_EXC: u32 = 6 << 8; // 1_536u32