vprintf and panic formatting

2 files changed, 5 insertions, 2 deletions

diff --git a/include/kernel/panic.h b/include/kernel/panic.h
index db53e8e..7baeaa9 100644
--- a/include/kernel/panic.h
+++ b/include/kernel/panic.h
@@ -1 +1 @@
-void panic(const char*, ...);
+void panic(const char*, ...) __attribute__ ((format (printf, 1, 2)));
diff --git a/include/stdio.h b/include/stdio.h
index 49966cf..9bed898 100644
--- a/include/stdio.h
+++ b/include/stdio.h
@@ -1,4 +1,7 @@
-int printf(const char* fmt, ...)  __attribute__ ((format (printf, 1, 2)));;
+#include <stdarg.h>
+
+int vprintf(const char* fmt, va_list);
+int printf(const char* fmt, ...)  __attribute__ ((format (printf, 1, 2)));
 int puts(const char*);
 int putchar(int);