ibcs2_sys_time    378 compat/ibcs2/ibcs2_syscallargs.h int	ibcs2_sys_time(struct proc *, void *, register_t *);
ibcs2_sys_time     51 compat/ibcs2/ibcs2_sysent.c 	    ibcs2_sys_time },			/* 13 = time */