| /seL4-refos-master/libs/libmuslc/crt/ |
| H A D | crt1.c | 7 int main();
17 __libc_start_main(main, argc, argv, _init, _fini, 0);
|
| H A D | rcrt1.c | 5 int main();
14 __libc_start_main(main, *sp, (void *)(sp+1), _init, _fini, 0);
|
| /seL4-refos-master/libs/libsel4platsupport/src/sel4_arch/aarch32/ |
| H A D | crt0.S | 14 * main() with a sensible C environment.
43 /* Call main. */
44 bl main
|
| /seL4-refos-master/libs/libsel4platsupport/src/sel4_arch/aarch64/ |
| H A D | crt0.S | 35 /* Call main. */
36 bl main
|
| /seL4-refos-master/libs/libsel4platsupport/src/sel4_arch/arm_hyp/ |
| H A D | crt0.S | 14 * main() with a sensible C environment.
43 /* Call main. */
44 bl main
|
| /seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/sel4_arch/aarch32/ |
| H A D | crt0.S | 14 * main() with a sensible C environment.
43 /* Call main. */
44 bl main
|
| /seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/sel4_arch/aarch64/ |
| H A D | crt0.S | 35 /* Call main. */
36 bl main
|
| /seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/sel4_arch/arm_hyp/ |
| H A D | crt0.S | 14 * main() with a sensible C environment.
43 /* Call main. */
44 bl main
|
| /seL4-refos-master/kernel/tools/ |
| H A D | circular_includes.py | 19 def main(parse_args): function
74 sys.exit(main(args))
|
| H A D | hardware_gen.py | 46 def main(args: argparse.Namespace): function
86 cProfile.run('main(args)', sort='cumtime')
88 main(args)
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/ |
| H A D | refos_nethack.c | 27 main(int argc, char **argv) function
|
| /seL4-refos-master/apps/nethack/src/ |
| H A D | refos_nethack.c | 27 main(int argc, char **argv) function
|
| /seL4-refos-master/libs/libsel4platsupport/src/sel4_arch/ia32/ |
| H A D | crt0.S | 14 * main() with a sensible C environment.
49 /* Start main. */
50 call main
52 /* Call exit with the return value from main. */
|
| /seL4-refos-master/libs/libsel4platsupport/src/sel4_arch/x86_64/ |
| H A D | crt0.S | 14 * main() with a sensible C environment.
45 call main
|
| /seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/sel4_arch/ia32/ |
| H A D | crt0.S | 14 * main() with a sensible C environment.
49 /* Start main. */
50 call main
52 /* Call exit with the return value from main. */
|
| /seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/sel4_arch/x86_64/ |
| H A D | crt0.S | 14 * main() with a sensible C environment.
45 call main
|
| /seL4-refos-master/seL4_tools/cmake-tool/helpers/ |
| H A D | elf_sift.py | 59 def main() -> int: function
91 sys.exit(main())
|
| /seL4-refos-master/seL4_tools/elfloader-tool/src/arch-riscv/ |
| H A D | crt0.S | 9 .extern main
31 la s0, main
|
| /seL4-refos-master/seL4_tools/misc/ |
| H A D | filter.py | 40 def main(): function
56 sys.exit(main())
|
| H A D | style.py | 31 def main(): function
70 sys.exit(main())
|
| /seL4-refos-master/tools/elfloader/src/arch-riscv/ |
| H A D | crt0.S | 9 .extern main
31 la s0, main
|
| /seL4-refos-master/projects/util_libs/libplatsupport/tools/ |
| H A D | device_header_gen.py | 48 def main(args: argparse.Namespace): function
83 main(args)
|
| /seL4-refos-master/libs/libplatsupport/tools/ |
| H A D | device_header_gen.py | 48 def main(args: argparse.Namespace): function
83 main(args)
|
| /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
74 exit(main(argc, argv, envp));
|
| /seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/32/ |
| H A D | crt0.S | 12 .extern main
53 b main
|