CR_INT_4
set_intr(INTPRI_BONITO, CR_INT_4, bonito_intr_2f);
ipi_mask = CR_INT_4;
set_intr(INTPRI_IPI, CR_INT_4, generic3a_ipi_intr);