/* * Section 6.2.4, `Miscellaneous Functions' of the PCI Specification, * says that 255 means `unknown' or `no connection' to the interrupt * controller on a PC. */