Symbol: sys_gettimeofday
sys/kern/init_sysent.c
170
sys_gettimeofday }, /* 67 = gettimeofday */
sys/sys/syscallargs.h
1243
int sys_gettimeofday(struct proc *, void *, register_t *);