CS318 - Pintos
Pintos source browser for JHU CS318 course
src
lib
kernel
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
Generated on Thu Aug 22 2019 10:19:15 for CS318 - Pintos by
1.8.16