Symbol: sys_tickintr
sys/arch/sparc64/sparc64/clock.c
132
int sys_tickintr(void *);
sys/arch/sparc64/sparc64/clock.c
527
level10.ih_fun = sys_tickintr;