Symbol: sys_clock_gettime
sys/kern/init_sysent.c
210
sys_clock_gettime }, /* 87 = clock_gettime */
sys/sys/syscallargs.h
1263
int sys_clock_gettime(struct proc *, void *, register_t *);