pcmu_intr_dist_cpuid
ino_p->pino_cpuid = pcmu_intr_dist_cpuid(pib_p, ino_p);
cpu_id = pcmu_intr_dist_cpuid(pib_p, ino_p);
extern uint32_t pcmu_intr_dist_cpuid(pcmu_ib_t *, pcmu_ib_ino_info_t *);