cp0_trigger_int5_wrapper
void cp0_trigger_int5_wrapper(void *);
.ic_trigger = cp0_trigger_int5_wrapper