/seL4-camkes-master/tools/rumprun/platform/sel4/ |
H A D | main.c | 37 int main(int argc, char **argv) argument
|
/seL4-camkes-master/projects/lwip/src/apps/http/makefsdata/ |
H A D | makefsdata.c | 179 int main(int argc, char *argv[]) argument 201 if (argv[i] == NULL) { 204 if (argv[i][0] == '-') { 205 if (strstr(argv[i], "-svr:") == argv[i]) { 206 snprintf(serverIDBuffer, sizeof(serverIDBuffer), "Server: %s\r\n", &argv[i][5]); 209 } else if (!strcmp(argv[i], "-s")) { 211 } else if (!strcmp(argv[i], "-e")) { 213 } else if (!strcmp(argv[i], "-11")) { 215 } else if (!strcmp(argv[ [all...] |
/seL4-camkes-master/projects/util_libs/libfdt/ |
H A D | fdtget.c | 329 int test_main(int argc, char *argv[]) argument 340 int c = getopt(argc, argv, "d:hlpt:"); 372 filename = argv[optind++]; 376 argv += optind; 387 if (do_fdtget(&disp, filename, argv, argc, args_per_step))
|
/seL4-camkes-master/projects/camkes-tool/examples/traversal/ |
H A D | visit.py | 70 if len(sys.argv) != 2: 71 sys.stderr.write('Usage: %s inputfile\n' % sys.argv[0]) 74 with open(sys.argv[1], 'rt') as f:
|
/seL4-camkes-master/projects/camkes-tool/tools/ |
H A D | camkes_lint.py | 25 def main(argv): 30 options = parser.parse_args(argv[1:]) 133 sys.exit(main(sys.argv))
|
H A D | check_deps.py | 214 def main(argv): 219 options = parser.parse_args(argv[1:]) 254 sys.exit(main(sys.argv))
|
H A D | camkes_scope.py | 183 def main(argv): 210 opts = parser.parse_args(argv[1:]) 244 sys.exit(main(sys.argv))
|
/seL4-camkes-master/tools/pruner/ |
H A D | main.c | 230 static options_t *parse_args(int argc, char **argv) { argument 260 int c = getopt_long(argc, argv, "a:b:k:o:?", opts, &index); 308 argv[0]); 318 o->input = argv[optind]; 382 int main(int argc, char **argv) { argument 383 options_t *opts = parse_args(argc, argv);
|
/seL4-camkes-master/projects/sel4runtime/src/ |
H A D | env.c | 78 char const *const *argv; member in struct:__anon6 119 return env.argv; 254 char const *const *argv, 263 name_process(argv[0]); 268 env.argv = argv; 252 __sel4runtime_load_env( int argc, char const *const *argv, char const *const *envp, auxv_t const auxv[] ) argument
|
/seL4-camkes-master/projects/camkes-tool/camkes/internal/tests/ |
H A D | utils.py | 116 def execute(self, argv, cwd=os.getcwd(), env=os.environ): 117 p = subprocess.Popen(argv, stdout=subprocess.PIPE,
|
/seL4-camkes-master/tools/rumprun/tests/basic/ |
H A D | tls_test.c | 44 rumprun_test(int argc, char *argv[]) argument
|
H A D | misc_test.c | 130 rumprun_test(int argc, char *argv[]) argument
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/bin/ |
H A D | json_process.c | 349 int main(int argc, char *argv[]) argument 363 if (!strcmp(argv[i], "--strip")) 365 else if (!strcmp(argv[i], "--env")) 368 test_path = argv[i]; 383 fprintf(stderr, "usage: %s [--strip] [--env] test_dir\n", argv[0]);
|
/seL4-camkes-master/projects/camkes-tool/camkes/runner/ |
H A D | __main__.py | 74 def parse_args(argv, out, err): 159 options = parser.parse_args(argv[1:]) 181 def main(argv, out, err): 194 options = parse_args(argv, out, err) 323 sys.exit(main(sys.argv, sys.stdout, sys.stderr))
|
/seL4-camkes-master/projects/lwip/src/netif/ppp/ |
H A D | ipv6cp.c | 338 setifaceid(argv) 339 char **argv; 349 arg = *argv; 1372 char *argv[8]; 1378 argv[0] = script; 1379 argv[1] = ifname; 1380 argv[2] = devnam; 1381 argv[3] = strspeed; 1382 argv[4] = strlocal; 1383 argv[ [all...] |
H A D | ipcp.c | 348 setvjslots(argv) 349 char **argv; 353 if (!int_option(*argv, &value)) 370 setdnsaddr(argv) 371 char **argv; 376 dns = inet_addr(*argv); 378 if ((hp = gethostbyname(*argv)) == NULL) { 380 *argv); 406 setwinsaddr(argv) 407 char **argv; [all...] |
/seL4-camkes-master/projects/lwip/test/fuzz/ |
H A D | fuzz.c | 141 int main(int argc, char** argv) argument 176 filename = argv[1];
|
/seL4-camkes-master/tools/seL4/misc/ |
H A D | style.py | 60 script = os.path.join(os.path.dirname(os.path.realpath(sys.argv[0])), k)
|
/seL4-camkes-master/projects/camkes/apps/rumprun_pthreads/components/pthreads/ |
H A D | pthreads.c | 92 int main(int argc, char *argv[]) argument
|
/seL4-camkes-master/tools/rumprun/lib/librumprun_base/ |
H A D | rumprun.c | 283 rumprun(int flags, int (*mainfun)(int, char *[]), int argc, char *argv[]) argument 292 rr->rr_argv = argv; 298 fprintf(stderr, "rumprun: running %s failed\n", argv[0]);
|
/seL4-camkes-master/projects/musllibc/ldso/ |
H A D | dlstart.c | 27 char **argv = (void *)(sp+1); local 29 for (i=argc+1; argv[i]; i++); 30 size_t *auxv = (void *)(argv+i+1);
|
H A D | dynlink.c | 1400 char **argv = (void *)(sp+1); local 1401 char **argv_orig = argv; 1402 char **envp = argv+argc+1; 1407 for (i=argc+1; argv[i]; i++); 1408 libc.auxv = auxv = (void *)(argv+i+1); 1459 app.name = argv[0]; 1463 char *ldname = argv[0]; 1466 argv++; 1467 while (argv[0] && argv[ [all...] |
/seL4-camkes-master/projects/picotcp/test/ |
H A D | picoapp.c | 181 int main(int argc, char **argv) argument 207 char *app = NULL, *p = argv[0]; 232 c = getopt_long(argc, argv, "6:v:b:t:T:a:r:hl", long_options, &option_idx); 238 usage(argv[0]); 596 usage(argv[0]); 738 usage(argv[0]); 746 usage(argv[0]);
|
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/ |
H A D | main.c | 1173 const seL4_Word *argv = cdl_tcb->tcb_extra.init; local 1210 if (STACK_ALIGNMENT_BYTES % sizeof(*argv)) { 1220 unsigned int args_per_alignment = (STACK_ALIGNMENT_BYTES / sizeof(*argv)); 1225 unsigned int num_padding_bytes = num_padding_args * sizeof(*argv); 1255 *(seL4_Word *)(copy_addr_with_pt + sp % PAGE_SIZE_4K) = argv[i]; 1272 .r0 = argc > 0 ? argv[0] : 0, 1273 .r1 = argc > 1 ? argv[1] : 0, 1274 .r2 = argc > 2 ? argv[2] : 0, 1275 .r3 = argc > 3 ? argv[3] : 0, 1277 .x0 = argc > 0 ? argv[ [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | process.c | 94 void sel4utils_create_word_args(char strings[][WORD_STRING_SIZE], char *argv[], int argc, ...) argument 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[], in 215 sel4utils_stack_copy_args(vspace_t *current_vspace, vspace_t *target_vspace, vka_t *vka, int argc, char *argv[], uintptr_t *dest_argv, uintptr_t *initial_stack_pointer) argument 230 sel4utils_spawn_process(sel4utils_process_t *process, vka_t *vka, vspace_t *vspace, int argc, char *argv[], int resume) argument 273 sel4utils_spawn_process_v(sel4utils_process_t *process, vka_t *vka, vspace_t *vspace, int argc, char *argv[], int resume) argument [all...] |