pub const PCI_NO_IRQ_MAPPING: u32 = u32::MAX; // 4_294_967_295u32