diff options
Diffstat (limited to 'include/stdio.h')
| -rw-r--r-- | include/stdio.h | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/include/stdio.h b/include/stdio.h index 8bc45fa60e..c824764689 100644 --- a/include/stdio.h +++ b/include/stdio.h @@ -9,7 +9,7 @@ */ /* serial stuff */ -void serial_printf (const char *fmt, ...); +void serial_printf(const char *fmt, ...) __attribute__ ((format(printf, 1, 2))); /* stdin */ int tstc(void); @@ -20,20 +20,22 @@ int getc(void); void console_puts(unsigned int ch, const char *s); void console_flush(void); -static inline void puts(const char *s) { +static inline void puts(const char *s) +{ console_puts(CONSOLE_STDOUT, s); } -static inline void putchar(char c) { +static inline void putchar(char c) +{ console_putc(CONSOLE_STDOUT, c); } -int printf(const char *fmt, ...); +int printf(const char *fmt, ...) __attribute__ ((format(printf, 1, 2))); int vprintf(const char *fmt, va_list args); -int sprintf(char * buf, const char *fmt, ...); -int snprintf(char *buf, size_t size, const char *fmt, ...); +int sprintf(char *buf, const char *fmt, ...) __attribute__ ((format(printf, 2, 3))); +int snprintf(char *buf, size_t size, const char *fmt, ...) __attribute__ ((format(printf, 3, 4))); int vsprintf(char *buf, const char *fmt, va_list args); -char *asprintf(const char *fmt, ...); +char *asprintf(const char *fmt, ...) __attribute__ ((format(printf, 1, 2))); char *vasprintf(const char *fmt, va_list ap); int vsnprintf(char *buf, size_t size, const char *fmt, va_list args); int vscnprintf(char *buf, size_t size, const char *fmt, va_list args); @@ -52,7 +54,7 @@ int vscnprintf(char *buf, size_t size, const char *fmt, va_list args); #define stderr 2 #define MAX_FILES 128 -void fprintf(int file, const char *fmt, ...); +void fprintf(int file, const char *fmt, ...) __attribute__ ((format(printf, 2, 3))); int fputs(int file, const char *s); int fputc(int file, const char c); int ftstc(int file); |