CS318 - Pintos
Pintos source browser for JHU CS318 course
console.h
Go to the documentation of this file.
1 #ifndef __LIB_KERNEL_CONSOLE_H
2 #define __LIB_KERNEL_CONSOLE_H
3 
4 void console_init (void);
5 void console_panic (void);
6 void console_print_stats (void);
7 
8 #endif /**< lib/kernel/console.h */
console_init
void console_init(void)
Enable console locking.
Definition: console.c:64
console_panic
void console_panic(void)
Notifies the console that a kernel panic is underway, which warns it to avoid trying to take the cons...
Definition: console.c:74
console_print_stats
void console_print_stats(void)
lib/kernel/console.h
Definition: console.c:81