Lines Matching defs:argc
94 void sel4utils_create_word_args(char strings[][WORD_STRING_SIZE], char *argv[], int argc, ...)
97 va_start(args, argc);
99 for (int i = 0; i < argc; i++) {
216 vka_t *vka, int argc, char *argv[], uintptr_t *dest_argv, uintptr_t *initial_stack_pointer)
218 for (int i = 0; i < argc; i++) {
230 int sel4utils_spawn_process(sel4utils_process_t *process, vka_t *vka, vspace_t *vspace, int argc,
237 if (argc > 0) {
238 uintptr_t dest_argv[argc];
240 error = sel4utils_stack_copy_args(vspace, &process->vspace, vka, argc, argv, dest_argv, &initial_stack_pointer);
259 error = sel4utils_arch_init_context_with_args(process->entry_point, (void *)(uintptr_t)argc,
273 int sel4utils_spawn_process_v(sel4utils_process_t *process, vka_t *vka, vspace_t *vspace, int argc,
315 uintptr_t dest_argv[argc];
320 error = sel4utils_stack_copy_args(vspace, &process->vspace, vka, argc, argv, dest_argv, &initial_stack_pointer);
378 error = sel4utils_stack_write_constant(vspace, &process->vspace, vka, argc, &initial_stack_pointer);