pintos/src/devices/kbd.h File Reference

#include <stdint.h>

Go to the source code of this file.

Functions
void	kbd_init (void)
void	kbd_print_stats (void)

---

Function Documentation

void kbd_init

(

void

)

Definition at line 32 of file kbd.c.

References intr_register_ext(), and keyboard_interrupt.

Referenced by main().

void kbd_print_stats

(

void

)

Definition at line 39 of file kbd.c.

References key_cnt, and printf().

Referenced by print_stats().