cp0_int5
set_intr(INTPRI_CLOCK, CR_INT_5, cp0_int5);
uint32_t cp0_int5(uint32_t, struct trapframe *);