|
PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
#include <stdint.h>

Go to the source code of this file.
Functions | |
| void | kbd_init (void) |
| Initializes the keyboard. More... | |
| void | kbd_print_stats (void) |
| devices/kbd.h More... | |
| void kbd_init | ( | void | ) |
Initializes the keyboard.
Definition at line 31 of file kbd.c.
References intr_register_ext(), and keyboard_interrupt.
Referenced by pintos_init().


| void kbd_print_stats | ( | void | ) |
Definition at line 38 of file kbd.c.
References key_cnt, and printf().
Referenced by print_stats().

