wsdisplay_kbdinput
void wsdisplay_kbdinput(struct device *v, kbd_t, keysym_t *, int);
wsdisplay_kbdinput(sc->sc_displaydv,