osf1_sys_execve   382 compat/osf1/osf1_syscallargs.h int	osf1_sys_execve(struct proc *, void *, register_t *);
osf1_sys_execve   146 compat/osf1/osf1_sysent.c 	    osf1_sys_execve },			/* 59 = execve */