1 files changed, 2 insertions, 0 deletions
diff --git a/kern/debug.h b/kern/debug.h
index f4e8200..e429bdd 100644
--- a/kern/debug.h
+++ b/kern/debug.h
@@ -57,6 +57,8 @@
 
 #endif /* NDEBUG */
 
+extern void log (int level, const char *fmt, ...);
+
 extern void panic_init(void);
 extern void panic (const char *s, ...) __attribute__ ((noreturn));