Symbol: hardclock_sync
sys/kern/kern_clocksource.c
517
hardclock_sync(cpu);
sys/kern/kern_clocksource.c
685
hardclock_sync(curcpu);
sys/sys/systm.h
381
void hardclock_sync(int cpu);