Symbol: tc_ticktock
sys/kern/kern_clock.c
336
tc_ticktock();
sys/sys/timetc.h
87
void tc_ticktock(void);