/* Copyright holders: Sarah Walker
   see COPYING for more details
*/
extern void keyboard_xt_init(void);
extern void keyboard_tandy_init(void);
extern void keyboard_xt_reset(void);