Searched refs:argv1 (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() local6378 argv1 = scratch_addr; in load_init_program_at_path()6379 error = copyout(init_args, argv1, init_args_length); in load_init_program_at_path()6391 argv64bit[1] = argv1; in load_init_program_at_path()6402 argv32bit[1] = (user32_addr_t)argv1; in load_init_program_at_path()