PCI_INTERRUPT_PIN
printf(" pin=%d line=%d ", PCI_INTERRUPT_PIN(reg),
if (PCI_INTERRUPT_PIN(reg) == pin + 1) {
pin = PCI_INTERRUPT_PIN(intr);
" Max Lat: %02x\n", PCI_INTERRUPT_REG, PCI_INTERRUPT_PIN(reg),
PCI_INTERRUPT_REG, PCI_INTERRUPT_PIN(reg),
PCI_INTERRUPT_REG, PCI_INTERRUPT_PIN(reg),