INTPRI_IPI
set_intr(INTPRI_IPI, CR_INT_4, generic3a_ipi_intr);
set_intr(INTPRI_IPI, CR_INT_1, octcit_ipi_intr);
set_intr(INTPRI_IPI, CR_INT_1, octciu_ipi_intr);