Symbol: hardpps
sys/kern/kern_clock.c
1802
hardpps(tsp, delta);
sys/sys/timepps.h
125
void hardpps (struct timespec *tsp, long nsec);