hardclock_bootstrap   59 kern/include/clock.h void hardclock_bootstrap(void);
hardclock_bootstrap  112 kern/startup/main.c 	hardclock_bootstrap();