Symbol: timercb
sys/kern/kern_clocksource.c
620
et_init(timer, timercb, NULL, NULL);
sys/kern/kern_clocksource.c
916
et_init(timer, timercb, NULL, NULL);