pintos-doxygen/html/console_8h_source.html

#ifndef __LIB_KERNEL_CONSOLE_H

#define __LIB_KERNEL_CONSOLE_H


void console_init (void);

void console_panic (void);

void console_print_stats (void);


#endif /**< lib/kernel/console.h */

console_print_stats
void console_print_stats(void)
lib/kernel/console.h
Definition: console.c:81

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_init
void console_init(void)
Enable console locking.
Definition: console.c:64