kbd_find_keyboard
kbd = kbd_get_keyboard(kbd_find_keyboard(KBD_DRIVER_NAME,
i = kbd_find_keyboard(ATKBD_DRIVER_NAME, ATKBD_DEFAULT);
kbd = kbd_get_keyboard(kbd_find_keyboard(ATKBD_DRIVER_NAME,
kbd = kbd_get_keyboard(kbd_find_keyboard(KBD_DRIVER_NAME,
mux = kbd_get_keyboard(kbd_find_keyboard("kbdmux", -1));
index = kbd_find_keyboard(driver, unit);
int kbd_find_keyboard(char *driver, int unit);
kbd = kbd_get_keyboard(kbd_find_keyboard(KEYBOARD_NAME, 0));
return (kbd_find_keyboard("*", unit) >= 0);
kbd_get_keyboard(kbd_find_keyboard(KEYBOARD_NAME, dev2unit(d)))