linux_sys_times   595 compat/linux/linux_syscallargs.h int	linux_sys_times(struct proc *, void *, register_t *);
linux_sys_times   116 compat/linux/linux_sysent.c 	    linux_sys_times },			/* 43 = times */