bonito_intr_2e
set_intr(INTPRI_BONITO, CR_INT_0, bonito_intr_2e);
uint32_t bonito_intr_2e(uint32_t, struct trapframe *);