diff options
Diffstat (limited to 'kern/printf.h')
| -rw-r--r-- | kern/printf.h | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/kern/printf.h b/kern/printf.h index 6643d664..0aed7200 100644 --- a/kern/printf.h +++ b/kern/printf.h @@ -33,10 +33,12 @@ #include <stdarg.h> -#include <kern/macros.h> +int printf(const char *format, ...) + __attribute__((format(printf, 1, 2))); + +int vprintf(const char *format, va_list ap) + __attribute__((format(printf, 1, 0))); -int printf(const char *format, ...) __format_printf(1, 2); -int vprintf(const char *format, va_list ap) __format_printf(1, 0); void printf_setup(void); #endif /* _KERN_PRINTF_H */ |