Symbol: sys_tick_start
sys/arch/sparc64/sparc64/clock.c
128
void sys_tick_start(void);
sys/arch/sparc64/sparc64/clock.c
528
cpu_start_clock = sys_tick_start;