Searched refs:__stdout_used (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/libs/libmuslc/src/stdio/
H A Dfflush.c5 weak_alias(dummy, __stdout_used);
10 int r = __stdout_used ? fflush(__stdout_used) : 0;
H A D__stdio_exit.c5 weak_alias(dummy_file, __stdout_used);
21 close_file(__stdout_used);
H A Dstdout.c16 FILE *volatile __stdout_used = &f; variable
/seL4-refos-master/libs/libmuslc/src/thread/
H A Dpthread_create.c171 weak_alias(dummy_file, __stdout_used);
200 init_file_lock(__stdout_used);

Completed in 32 milliseconds