tag	line	file	source code
shell	752	init/main.c	static int do_shell(void * shell)
shell	759	init/main.c	return execve(shell, argv, envp);
shell	763	init/main.c	static int do_linuxrc(void * shell)
shell	772	init/main.c	return execve(shell, argv, envp_init);