ibcs2_sys_execve  425 compat/ibcs2/ibcs2_syscallargs.h int	ibcs2_sys_execve(struct proc *, void *, register_t *);
ibcs2_sys_execve  158 compat/ibcs2/ibcs2_sysent.c 	    ibcs2_sys_execve },			/* 59 = execve */