Symbol: UKBD_DRIVER_NAME
sys/dev/usb/input/ukbd.c
1042
keyboard_switch_t *sw = kbd_get_switch(UKBD_DRIVER_NAME);
sys/dev/usb/input/ukbd.c
1219
kbd_init_struct(kbd, UKBD_DRIVER_NAME, KB_OTHER, unit, 0, 0, 0);