1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/defs.h b/kernel/defs.h
index bd85d1f..04a0276 100644
--- a/kernel/defs.h
+++ b/kernel/defs.h
@@ -82,6 +82,7 @@ int             pipewrite(struct pipe*, uint64, int);
 void            printf(char*, ...);
 void            panic(char*) __attribute__((noreturn));
 void            printfinit(void);
+void            backtrace(void);
 
 // proc.c
 int             cpuid(void);