timer3_intr
int timer3_intr(void *);
intc_intr_establish(I_CH12_TIMER3, IPL_SOFTNET, timer3_intr, 0);