Symbol: hardclock_softtick
sys/kern/kern_clock.c
834
hardclock_softtick(gd);
sys/sys/callout.h
114
void hardclock_softtick(struct globaldata *);