pci_xlate_intr
ino = IB_MONDO_TO_INO(pci_xlate_intr(dip, rdip,
if ((mondo = pci_xlate_intr(pci_p->pci_dip, rdip, pci_p->pci_ib_p,
mondo = pci_xlate_intr(dip, rdip, ib_p, ino);
if ((mondo = pci_xlate_intr(dip, rdip, pci_p->pci_ib_p, ino)) == 0)
mondo = pci_xlate_intr(dip, rdip, ib_p, ino);
mondo = pci_xlate_intr(dip, rdip, pci_p->pci_ib_p, ino);
dev_mondo = pci_xlate_intr(pci_p->pci_dip, rdip, pci_p->pci_ib_p,
extern uint32_t pci_xlate_intr(dev_info_t *dip, dev_info_t *rdip,