init_filename    1045 init/main.c    static int run_init_process(const char *init_filename)
init_filename    1047 init/main.c    	argv_init[0] = init_filename;
init_filename    1048 init/main.c    	pr_info("Run %s as init process\n", init_filename);
init_filename    1049 init/main.c    	return do_execve(getname_kernel(init_filename),
init_filename    1054 init/main.c    static int try_to_run_init_process(const char *init_filename)
init_filename    1058 init/main.c    	ret = run_init_process(init_filename);
init_filename    1062 init/main.c    		       init_filename, ret);