Pintos: pintos/src/lib/kernel/console.h Source File

00001 #ifndef __LIB_KERNEL_CONSOLE_H
00002 #define __LIB_KERNEL_CONSOLE_H
00003 
00004 void console_init (void);
00005 void console_panic (void);
00006 void console_print_stats (void);
00007 
00008 #endif /* lib/kernel/console.h */