svr4_sys_gettimeofday  567 compat/svr4/svr4_syscallargs.h int	svr4_sys_gettimeofday(struct proc *, void *, register_t *);
svr4_sys_gettimeofday  354 compat/svr4/svr4_sysent.c 	    svr4_sys_gettimeofday },		/* 156 = gettimeofday */