Symbol: timer1_intr
sys/arch/playstation2/ee/timervar.h
34
int timer1_intr(void *);
sys/arch/playstation2/playstation2/interrupt.c
107
intc_intr_establish(I_CH10_TIMER1, IPL_SOFTCLOCK, timer1_intr, 0);