ibcs2_sys_execv   376 compat/ibcs2/ibcs2_syscallargs.h int	ibcs2_sys_execv(struct proc *, void *, register_t *);
ibcs2_sys_execv    47 compat/ibcs2/ibcs2_sysent.c 	    ibcs2_sys_execv },			/* 11 = execv */