#ifndef INITKBDDEFS_H
#define INITKBDDEFS_H 1
void set_kbd_iopointers(void);
void keyboardtype(int fd);
void init_keyboard(int flg);
void device_before_exit(void);
void set_kbd_iopointers(void);
void keyboardtype(int fd);
#endif
