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