1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #ifndef PC80_KEYBOARD_H 4 #define PC80_KEYBOARD_H 5 6 #include <stdint.h> 7 8 #define NO_AUX_DEVICE 0 9 #define PROBE_AUX_DEVICE 1 10 11 uint8_t pc_keyboard_init(uint8_t probe_aux); 12 void set_kbc_ps2_mode(void); 13 14 #endif /* PC80_KEYBOARD_H */ 15