keyboard_switch_t
keyboard_switch_t *sw = kbd_get_switch(UKBD_DRIVER_NAME);
static keyboard_switch_t ukbdsw = {
keyboard_switch_t *sw;
keyboard_switch_t *sw;
static keyboard_switch_t atkbdsw = {
keyboard_switch_t *
keyboard_switch_t *kbdsw[KBD_MAXKEYBOARDS];
int sw_probe(keyboard_switch_t *sw, int unit, void *arg, int flags);
int sw_init(keyboard_switch_t *sw, int unit, keyboard_t **kbdpp,
keyboard_switch_t *kbdsw;
extern keyboard_switch_t *kbdsw[KBD_MAXKEYBOARDS];
keyboard_switch_t *kbd_get_switch(char *driver);
sw_probe(keyboard_switch_t *sw, int unit, void *arg, int flags)
sw_init(keyboard_switch_t *sw, int unit, keyboard_t **kbdpp,
keyboard_switch_t *sw;
static keyboard_switch_t kbdmuxsw = {
keyboard_switch_t *sw = NULL;
static keyboard_switch_t vkbdsw = {