KBD_MAXKEYBOARDS
for (index = 0; index < KBD_MAXKEYBOARDS; ++index) {
if (index >= KBD_MAXKEYBOARDS) {
if ((kbd->kb_index < 0) || (kbd->kb_index >= KBD_MAXKEYBOARDS)) {
if ((index < 0) || (index >= KBD_MAXKEYBOARDS)) {
for (i = index; i < KBD_MAXKEYBOARDS; ++i) {
if ((index < 0) || (index >= KBD_MAXKEYBOARDS)) {
if (kbd->kb_index >= KBD_MAXKEYBOARDS) {
if (kbd->kb_index >= KBD_MAXKEYBOARDS) {
static keyboard_t *keyboard[KBD_MAXKEYBOARDS];
keyboard_switch_t *kbdsw[KBD_MAXKEYBOARDS];
extern keyboard_switch_t *kbdsw[KBD_MAXKEYBOARDS];
if (i >= 0 && i < KBD_MAXKEYBOARDS && kbdsw[i]) {