Symbol: tstohz_high
sys/kern/kern_event.c
977
timeout = tstohz_high(&atx);
sys/kern/kern_sig.c
1802
hz = tstohz_high(&ts);
sys/sys/time.h
195
int tstohz_high(struct timespec *);