Searched refs:argv0 (Results 1 – 1 of 1) sorted by relevance
6349 user_addr_t argv0 = USER_ADDR_NULL, argv1 = USER_ADDR_NULL; in load_init_program_at_path() local6362 argv0 = scratch_addr; in load_init_program_at_path()6363 error = copyout(path, argv0, path_length); in load_init_program_at_path()6390 argv64bit[0] = argv0; in load_init_program_at_path()6401 argv32bit[0] = (user32_addr_t)argv0; in load_init_program_at_path()6414 init_exec_args.fname = argv0; in load_init_program_at_path()