sys/dev/adb/adb_kbd.c

288

sw = kbd_get_switch(KBD_DRIVER_NAME);

sys/dev/atkbdc/atkbd.c

103

sw = kbd_get_switch(ATKBD_DRIVER_NAME);

sys/dev/atkbdc/atkbd.c

124

sw = kbd_get_switch(ATKBD_DRIVER_NAME);

sys/dev/hid/hkbd.c

807

keyboard_switch_t *sw = kbd_get_switch(HKBD_DRIVER_NAME);

sys/dev/hyperv/input/hv_kbd.c

785

sw = kbd_get_switch(HVKBD_DRIVER_NAME);

sys/dev/kbd/kbdreg.h

339

keyboard_switch_t *kbd_get_switch(char *driver);

sys/dev/kbdmux/kbdmux.c

1382

if ((sw = kbd_get_switch(KEYBOARD_NAME)) == NULL) {

sys/dev/kbdmux/kbdmux.c

1405

if ((sw = kbd_get_switch(KEYBOARD_NAME)) == NULL) {

sys/dev/usb/input/ukbd.c

1042

keyboard_switch_t *sw = kbd_get_switch(UKBD_DRIVER_NAME);

sys/dev/vkbd/vkbd.c

209

if ((sw = kbd_get_switch(KEYBOARD_NAME)) == NULL)