Symbol: hardpps
sys/kern/kern_tc.c
1907
hardpps(tsp, (long)delta_nsec);
sys/sys/timepps.h
172
void hardpps(struct timespec *tsp, long nsec);