00001 #ifndef DEVICES_KBD_H 00002 //101833895 00003 #define DEVICES_KBD_H 00004 00005 #include <stdint.h> 00006 00007 void kbd_init (void); 00008 void kbd_print_stats (void); 00009 00010 #endif /* devices/kbd.h */
