PCI_INTERRUPT_PIN
printf(" pin=%d line=%d ", PCI_INTERRUPT_PIN(reg),
pin = PCI_INTERRUPT_PIN(intr);
PCI_INTERRUPT_PIN(intreg),
PCI_INTERRUPT_PIN(intreg),
PCI_INTERRUPT_PIN(intreg),
if (PCI_INTERRUPT_PIN(val)) {
pin = PCI_INTERRUPT_PIN(val);
PCI_INTERRUPT_PIN(pci_conf_read(pa->pa_pc, pa->pa_tag, PCI_INTERRUPT_REG)), sc);
ipin = PCI_INTERRUPT_PIN(value);
ipin = PCI_INTERRUPT_PIN(value);
int pin = PCI_INTERRUPT_PIN(intr);
pin = PCI_INTERRUPT_PIN(intr);
printf(" Interrupt pin: 0x%02x ", PCI_INTERRUPT_PIN(rval));
switch (PCI_INTERRUPT_PIN(rval)) {
pd->ipin = PCI_INTERRUPT_PIN(icr);