svr4_sys_times    490 compat/svr4/svr4_syscallargs.h int	svr4_sys_times(struct proc *, void *, register_t *);
svr4_sys_times    113 compat/svr4/svr4_sysent.c 	    svr4_sys_times },			/* 43 = times */