Searched defs:__libc_start_main (Results 1 - 1 of 1) sorted by relevance
/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) function |
Completed in 28 milliseconds