| /seL4-refos-master/libs/libmuslc/crt/ |
| H A D | crt1.c | 15 int argc = p[0]; local
|
| /seL4-refos-master/libs/libmuslc/src/process/ |
| H A D | execl.c | 6 int argc; local
|
| H A D | execle.c | 6 int argc; local
|
| H A D | execlp.c | 6 int argc; local
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/ |
| H A D | refos_nethack.c | 27 main(int argc, char **argv) argument
|
| /seL4-refos-master/apps/nethack/src/ |
| H A D | refos_nethack.c | 27 main(int argc, char **argv) argument
|
| /seL4-refos-master/libs/libmuslc/src/env/ |
| H A D | __libc_start_main.c | 66 int __libc_start_main(int (*main)(int,char **,char **), int argc, char **argv) argument
|
| /seL4-refos-master/libs/libmuslc/src/misc/ |
| H A D | getopt.c | 27 int getopt(int argc, char * const argv[], const char *optstring) argument
|
| H A D | getopt_long.c | 23 static int __getopt_long(int argc, char *const *argv, const char *optstring, const struct option *longopts, int *idx, int longonly) argument
52 static int __getopt_long_core(int argc, char *const *argv, const char *optstring, const struct option *longopts, int *idx, int longonly) argument
123 int getopt_long(int argc, char *const *argv, const char *optstring, const struct option *longopts, int *idx) argument
128 int getopt_long_only(int argc, cha argument
[all...] |
| /seL4-refos-master/seL4_tools/misc/ |
| H A D | cpio-strip.c | 51 int main(int argc, char **argv) argument
|
| /seL4-refos-master/libs/libmuslc/ldso/ |
| H A D | dlstart.c | 26 int argc = *sp; local
|
| H A D | dynlink.c | 1399 int argc = *sp; local
|
| /seL4-refos-master/projects/util_libs/libfdt/ |
| H A D | fdtget.c | 329 int test_main(int argc, char *argv[]) argument
|
| /seL4-refos-master/libs/libsel4utils/src/ |
| H A D | process.c | 94 void sel4utils_create_word_args(char strings[][WORD_STRING_SIZE], char *argv[], int argc, ...) argument
230 int sel4utils_spawn_process(sel4utils_process_t *process, vka_t *vka, vspace_t *vspace, int argc, argument
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
273 sel4utils_spawn_process_v(sel4utils_process_t *process, vka_t *vka, vspace_t *vspace, int argc, char *argv[], int resume) argument
[all...] |
| /seL4-refos-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
230 int sel4utils_spawn_process(sel4utils_process_t *process, vka_t *vka, vspace_t *vspace, int argc, argument
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
273 sel4utils_spawn_process_v(sel4utils_process_t *process, vka_t *vka, vspace_t *vspace, int argc, char *argv[], int resume) argument
[all...] |