Symbol: db_kclock
sys/kern/kern_timeout.c
1010
db_timespec(&remaining), db_kclock(to->to_kclock), where,
sys/kern/kern_timeout.c
1037
db_timespec(&kc->kc_lastscan), db_kclock(i));
sys/kern/kern_timeout.c
928
const char *db_kclock(int);