static void mi_check_modifier(void) { int code; code = mi_read_keyboard_state(); ui_set_modifier_state(code); }
/* just returning 0, the hardware specific file is responsable for this */ uint32 read_keyboard_state(void) { return (uint32) mi_read_keyboard_state(); }