PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
Go to the source code of this file.
Functions | |
void | console_init (void) |
Enable console locking. More... | |
void | console_panic (void) |
Notifies the console that a kernel panic is underway, which warns it to avoid trying to take the console lock from now on. More... | |
void | console_print_stats (void) |
lib/kernel/console.h More... | |
void console_init | ( | void | ) |
Enable console locking.
Definition at line 64 of file console.c.
References console_lock, lock_init(), and use_console_lock.
Referenced by pintos_init().
void console_panic | ( | void | ) |
Notifies the console that a kernel panic is underway, which warns it to avoid trying to take the console lock from now on.
Definition at line 74 of file console.c.
References use_console_lock.
Referenced by debug_panic().
void console_print_stats | ( | void | ) |
Definition at line 81 of file console.c.
References printf(), and write_cnt.
Referenced by print_stats().