Go to the documentation of this file.
37 #define stdin thread_get_stdin()
38 #define stdout thread_get_stdout()
39 #define stderr thread_get_stderr()
48 #define putc(c, stream) fputc(c, stream)
56 #define putchar(c) fputc(c, stdout)
64 #define puts(s) fputs(s, stdout)
72 extern int printf(
const char *format, ...);
81 extern int fprintf(
FILE *stream,
const char *format, ...);
90 extern int sprintf(
char *str,
const char *format, ...);
100 extern int snprintf(
char *str,
size_t size,
const char *format, ...);
116 extern int fputs(
const char *s,
FILE *stream);