PKUOS - Pintos
Pintos source browser for PKU Operating System course
kbd.h
Go to the documentation of this file.
1#ifndef DEVICES_KBD_H
2#define DEVICES_KBD_H
3
4#include <stdint.h>
5
6void kbd_init (void);
7void kbd_print_stats (void);
8
9#endif /**< devices/kbd.h */
kbd_init
void kbd_init(void)
Initializes the keyboard.
Definition: kbd.c:31
kbd_print_stats
void kbd_print_stats(void)
devices/kbd.h
Definition: kbd.c:38
Generated on Thu Nov 4 2021 19:31:00 for PKUOS - Pintos by doxygen 1.9.2