X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fkernel%2Fconsole.h;h=ab992498bcf4e338948741641ff9a53645ec9c75;hb=53a7f5d0952a4595f252247f5ee3d017468eb57e;hp=6e5b41bd79473f035d57a885ee6234a0b9c3d728;hpb=e45f3adbd21cd675c38b1d29394ec60b9cec2e33;p=pintos-anon

diff --git a/src/lib/kernel/console.h b/src/lib/kernel/console.h
index 6e5b41b..ab99249 100644
--- a/src/lib/kernel/console.h
+++ b/src/lib/kernel/console.h
@@ -2,5 +2,7 @@
 #define __LIB_KERNEL_CONSOLE_H
 
 void console_init (void);
+void console_panic (void);
+void console_print_stats (void);
 
 #endif /* lib/kernel/console.h */