Symbol: mv_hardclock
sys/arm/mv/timer.c
109
static int mv_hardclock(void *);
sys/arm/mv/timer.c
217
mv_hardclock, NULL, sc, &ihl) != 0) {