hardclock
static void hardclock(systimer_t info, int, struct intrframe *frame);
systimer_init_periodic_flags(&gd->gd_hardclock, hardclock,