pintos/src/lib/kernel/console.h File Reference

Go to the source code of this file.

Functions
void	console_init (void)
void	console_panic (void)
void	console_print_stats (void)

---

Function Documentation

void console_init

(

void

)

Definition at line 64 of file console.c.

References console_lock, lock_init(), and use_console_lock.

Referenced by main().

void console_panic

(

void

)

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().