ibcs2_sys_times   404 compat/ibcs2/ibcs2_syscallargs.h int	ibcs2_sys_times(struct proc *, void *, register_t *);
ibcs2_sys_times   111 compat/ibcs2/ibcs2_sysent.c 	    ibcs2_sys_times },			/* 43 = times */