px_ib_intr_enable
extern void px_ib_intr_enable(px_t *px_p, cpuid_t cpuid, devino_t ino);
px_ib_intr_enable(px_p, ino_p->ino_cpuid, ino);
px_ib_intr_enable(px_p, ino_p->ino_cpuid, ino);
px_ib_intr_enable(px_p, intr_dist_cpuid(), px_fault_p->px_intr_ino);
px_ib_intr_enable(px_p, cb_p->cpuid, fault_p->px_intr_ino);
px_ib_intr_enable(px_p, ce_ino_p->ino_cpuid, ce_ino);
px_ib_intr_enable(px_p, nf_ino_p->ino_cpuid, nf_ino);
px_ib_intr_enable(px_p, f_ino_p->ino_cpuid, f_ino);
px_ib_intr_enable(px_p, intr_dist_cpuid(),
px_ib_intr_enable(px_p, intr_dist_cpuid(), px_fault_p->px_intr_ino);
px_ib_intr_enable(px_p, intr_dist_cpuid(), f_p->px_intr_ino);