hardclock         274 kern/arch/sys161/dev/lamebus_machdep.c 		hardclock();
hardclock         119 kern/dev/lamebus/ltimer.c 			hardclock();
hardclock          61 kern/include/clock.h void hardclock(void);