Lines Matching defs:argv
94 void sel4utils_create_word_args(char strings[][WORD_STRING_SIZE], char *argv[], int argc, ...)
101 argv[i] = strings[i];
102 snprintf(argv[i], WORD_STRING_SIZE, "%"PRIuPTR"", arg);
216 vka_t *vka, int argc, char *argv[], uintptr_t *dest_argv, uintptr_t *initial_stack_pointer)
219 int error = sel4utils_stack_write(current_vspace, target_vspace, vka, argv[i], strlen(argv[i]) + 1,
231 char *argv[], int resume)
240 error = sel4utils_stack_copy_args(vspace, &process->vspace, vka, argc, argv, dest_argv, &initial_stack_pointer);
244 /* Put the new argv array on as well */
274 char *argv[], int resume)
320 error = sel4utils_stack_copy_args(vspace, &process->vspace, vka, argc, argv, dest_argv, &initial_stack_pointer);