Searched refs:argv64bit (Results 1 – 1 of 1) sorted by relevance
6388 user64_addr_t argv64bit[3] = {}; in load_init_program_at_path() local6390 argv64bit[0] = argv0; in load_init_program_at_path()6391 argv64bit[1] = argv1; in load_init_program_at_path()6392 argv64bit[2] = USER_ADDR_NULL; in load_init_program_at_path()6394 error = copyout(argv64bit, scratch_addr, sizeof(argv64bit)); in load_init_program_at_path()