const PCI_INTERRUPT_PIN: u32 = 0x3D;