taglinefilesource code
shell781init/main.cstatic int do_shell(void * shell)
shell788init/main.creturn execve(shell, argv, envp);
shell792init/main.cstatic int do_linuxrc(void * shell)
shell801init/main.creturn execve(shell, argv, envp_init);