kbd.h

Go to the documentation of this file.

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