Symbol: timer_init_4
sys/arch/sparc/sparc/timer.c
249
timer_init = timer_init_4;
sys/arch/sparc/sparc/timervar.h
46
void timer_init_4(void);