pub(crate) const X86_64_SERIAL_1_3_IRQ: u32 = 4;