linux_sys_time    562 compat/linux/linux_syscallargs.h int	linux_sys_time(struct proc *, void *, register_t *);
linux_sys_time     51 compat/linux/linux_sysent.c 	    linux_sys_time },			/* 13 = time */