octciu_intr2
uint32_t octciu_intr2(uint32_t, struct trapframe *);
set_intr(INTPRI_CIU_1, CR_INT_2, octciu_intr2);