| /seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/64/ |
| H A D | crt0.S | 15 .extern main
41 b main
|
| /seL4-refos-master/tools/elfloader/src/arch-arm/32/ |
| H A D | crt0.S | 12 .extern main
53 b main
|
| /seL4-refos-master/tools/elfloader/src/arch-arm/64/ |
| H A D | crt0.S | 15 .extern main
41 b main
|
| /seL4-refos-master/projects/seL4_libs/libsel4test/tools/ |
| H A D | extract_results.py | 66 def main(): function
119 sys.exit(main())
|
| /seL4-refos-master/seL4_tools/misc/ |
| H A D | whence.py | 45 def main(argv): function
115 sys.exit(main(sys.argv))
|
| H A D | cpio-strip.c | 51 int main(int argc, char **argv) function
|
| /seL4-refos-master/projects/refos/impl/apps/console_server/src/ |
| H A D | console_server.c | 25 @brief Console Server main source file.
128 main(void) function
134 __vsyscall_ptr in main(), the compiler optimizes away __vsyscall_ptr
|
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/ |
| H A D | file_server.c | 14 @brief CPIO File Server main source file.
16 The main role of the fileserver in the system is to provide the executable file contents via
128 main() function
134 __vsyscall_ptr in main(), the compiler optimizes away __vsyscall_ptr
|
| /seL4-refos-master/projects/refos/impl/apps/timer_server/src/ |
| H A D | timer_server.c | 24 @brief Timer Server main source file.
119 main() function
|
| /seL4-refos-master/apps/console_server/src/ |
| H A D | console_server.c | 25 @brief Console Server main source file.
128 main(void) function
134 __vsyscall_ptr in main(), the compiler optimizes away __vsyscall_ptr
|
| /seL4-refos-master/apps/file_server/src/ |
| H A D | file_server.c | 14 @brief CPIO File Server main source file.
16 The main role of the fileserver in the system is to provide the executable file contents via
128 main() function
134 __vsyscall_ptr in main(), the compiler optimizes away __vsyscall_ptr
|
| /seL4-refos-master/apps/timer_server/src/ |
| H A D | timer_server.c | 24 @brief Timer Server main source file.
119 main() function
|
| /seL4-refos-master/kernel/manual/tools/ |
| H A D | gen_invocations.py | 121 def main(): function
142 sys.exit(main())
|
| /seL4-refos-master/seL4_tools/cmake-tool/helpers/ |
| H A D | platform_sift.py | 185 Handle one non-optional command-line argument; called by `main()`.
211 def main() -> int: function
237 int main(int argc, char *argv[]) {
276 sys.exit(main())
|
| H A D | shoehorn.py | 113 def main() -> int: function
228 sys.exit(main())
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
| H A D | main.c | 14 @brief Top-level main module for process server.
16 The top level main module of the process server, containing the main function which runs as
115 The main loop that the process server goes into and keeps looping until the process server
138 /*! @brief Process server main entry point. */
140 main(void) function
|
| /seL4-refos-master/apps/process_server/src/ |
| H A D | main.c | 14 @brief Top-level main module for process server.
16 The top level main module of the process server, containing the main function which runs as
115 The main loop that the process server goes into and keeps looping until the process server
138 /*! @brief Process server main entry point. */
140 main(void) function
|
| /seL4-refos-master/projects/refos/impl/apps/terminal/src/ |
| H A D | terminal.c | 213 int main() function
|
| /seL4-refos-master/apps/terminal/src/ |
| H A D | terminal.c | 213 int main() function
|
| /seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/ |
| H A D | sys_boot.c | 97 void main(UNUSED void *arg) function
|
| /seL4-refos-master/tools/elfloader/src/arch-arm/ |
| H A D | sys_boot.c | 97 void main(UNUSED void *arg) function
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/share/ |
| H A D | uudecode.c | 87 int main(argc, argv)
|
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/share/ |
| H A D | uudecode.c | 87 int main(argc, argv)
|
| /seL4-refos-master/projects/refos/impl/apps/snake/src/ |
| H A D | snake.c | 198 /*! @brief Snake main function. */
200 main() function
|
| /seL4-refos-master/apps/snake/src/ |
| H A D | snake.c | 198 /*! @brief Snake main function. */
200 main() function
|