Searched refs:argv32bit (Results 1 – 1 of 1) sorted by relevance
6399 user32_addr_t argv32bit[3] = {}; in load_init_program_at_path() local6401 argv32bit[0] = (user32_addr_t)argv0; in load_init_program_at_path()6402 argv32bit[1] = (user32_addr_t)argv1; in load_init_program_at_path()6403 argv32bit[2] = USER_ADDR_NULL; in load_init_program_at_path()6405 error = copyout(argv32bit, scratch_addr, sizeof(argv32bit)); in load_init_program_at_path()