kbd_get_keyboard
kbd = kbd_get_keyboard(kbd_find_keyboard(ATKBD_DRIVER_NAME,
kbd = kbd_get_keyboard(i);
mux = kbd_get_keyboard(kbd_find_keyboard("kbdmux", -1));
kbd = kbd_get_keyboard(KBD_INDEX(dev));
kbd = kbd_get_keyboard(KBD_INDEX(dev));
kbd = kbd_get_keyboard(KBD_INDEX(dev));
kbd = kbd_get_keyboard(KBD_INDEX(dev));
kbd = kbd_get_keyboard(KBD_INDEX(dev));
kbd = kbd_get_keyboard(KBD_INDEX(dev));
kbd = kbd_get_keyboard(KBD_INDEX(dev));
keyboard_t *kbd_get_keyboard(int index);
kbd = kbd_get_keyboard(kbd_find_keyboard(KEYBOARD_NAME, 0));
k->kbd = kbd_get_keyboard(
newkbd = kbd_get_keyboard(*(int *)data);
sc->kbd = kbd_get_keyboard(i); /* sc->kbd == newkbd */
sc->kbd = kbd_get_keyboard(sc->keyboard);
sc->kbd = kbd_get_keyboard(sc->keyboard);
k0 = kbd_get_keyboard(idx0);
k = kbd_get_keyboard(idx);
kbd_get_keyboard(kbd_find_keyboard(KEYBOARD_NAME, dev2unit(d)))