pub const IRQ_INFO_HARD_EXC: u32 = 3 << 8; // 768u32