timeout_hardclock_update  321 kern/kern_clock.c 	if (timeout_hardclock_update()) {
timeout_hardclock_update   94 sys/timeout.h  int timeout_hardclock_update(void);