pci_conf_interrupt
void pci_conf_interrupt(pci_chipset_tag_t, int, int, int, int,
void pci_conf_interrupt(pci_chipset_tag_t, int, int, int,
void pci_conf_interrupt(pci_chipset_tag_t, int, int, int,
void pci_conf_interrupt(pci_chipset_tag_t, int, int, int, int,
pci_conf_interrupt(pb->pc, pb->busno, dev, pd->ipin, pb->swiz,
#ifndef pci_conf_interrupt
void pci_conf_interrupt(pci_chipset_tag_t, int, int, int, int, int *);