octcit_intr
uint32_t octcit_intr(uint32_t, struct trapframe *);
set_intr(INTPRI_CIU_0, CR_INT_0, octcit_intr);