1 2 3 4 5 6 7 8 9
#ifndef DEVICES_KBD_H #define DEVICES_KBD_H #include <stdint.h> void kbd_init (void); void kbd_print_stats (void); #endif /* devices/kbd.h */