Symbol: hardclock
sys/kern/kern_clockintr.c
442
hardclock(frame);
sys/sys/systm.h
244
void hardclock(struct clockframe *);