wskbd_input       582 dev/adb/akbd.c 		wskbd_input(sc->sc_wskbddev, type, val);
wskbd_input       539 dev/bluetooth/btkbd.c 		wskbd_input(sc->sc_wskbd,
wskbd_input       227 dev/hil/hilkbd.c 		wskbd_input(sc->sc_wskbddev, WSCONS_EVENT_KEY_DOWN, 80);
wskbd_input       228 dev/hil/hilkbd.c 		wskbd_input(sc->sc_wskbddev, WSCONS_EVENT_KEY_UP, 80);
wskbd_input       449 dev/hil/hilkbd.c 				wskbd_input(sc->sc_wskbddev, type, key);
wskbd_input       580 dev/pckbc/pckbd.c 		wskbd_input(sc->sc_wskbddev, type, key);
wskbd_input       748 dev/usb/ukbd.c 		wskbd_input(sc->sc_wskbddev,
wskbd_input        93 dev/wscons/wskbdvar.h void	wskbd_input(struct device *kbddev, u_int type, int value);