pci_intr_dist_cpuid
ino_p->ino_cpuid = pci_intr_dist_cpuid(ib_p, ino_p);
extern uint32_t pci_intr_dist_cpuid(ib_t *ib_p, ib_ino_info_t *ino_p);