ibcs2_sys_stime   390 compat/ibcs2/ibcs2_syscallargs.h int	ibcs2_sys_stime(struct proc *, void *, register_t *);
ibcs2_sys_stime    75 compat/ibcs2/ibcs2_sysent.c 	    ibcs2_sys_stime },			/* 25 = stime */