Searched refs:__stdin_used (Results 1 - 3 of 3) sorted by relevance

/seL4-refos-master/libs/libmuslc/src/stdio/
H A D__stdio_exit.c4 weak_alias(dummy_file, __stdin_used);
20 close_file(__stdin_used);
H A Dstdin.c15 FILE *volatile __stdin_used = &f; variable
/seL4-refos-master/libs/libmuslc/src/thread/
H A Dpthread_create.c170 weak_alias(dummy_file, __stdin_used);
199 init_file_lock(__stdin_used);

Completed in 37 milliseconds