/* SPDX-License-Identifier: GPL-2.0-only */ | |
#ifndef PC80_KEYBOARD_H | |
#define PC80_KEYBOARD_H | |
#include <stdint.h> | |
#define NO_AUX_DEVICE 0 | |
#define PROBE_AUX_DEVICE 1 | |
uint8_t pc_keyboard_init(uint8_t probe_aux); | |
void set_kbc_ps2_mode(void); | |
#endif /* PC80_KEYBOARD_H */ |