#ifndef DEVICES_KBD_H
#define DEVICES_KBD_H
#include
void kbd_init (void);
void kbd_print_stats (void);
#endif /* devices/kbd.h */
#ifndef DEVICES_KBD_H
#define DEVICES_KBD_H
#include
void kbd_init (void);
void kbd_print_stats (void);
#endif /* devices/kbd.h */