Symbol: tc_ticktock
sys/kern/kern_clock.c
517
tc_ticktock(newticks);
sys/sys/timetc.h
90
void tc_ticktock(long cnt);