wsdisplay_update_rawkbd  238 dev/wscons/wsdisplay.c int	wsdisplay_update_rawkbd(struct wsdisplay_softc *, struct wsscreen *);
wsdisplay_update_rawkbd  515 dev/wscons/wsdisplay.c 		wsdisplay_update_rawkbd(sc, 0);
wsdisplay_update_rawkbd 1078 dev/wscons/wsdisplay.c 		return (wsdisplay_update_rawkbd(sc, scr));
wsdisplay_update_rawkbd 1637 dev/wscons/wsdisplay.c 			wsdisplay_update_rawkbd(sc, 0);
wsdisplay_update_rawkbd 1704 dev/wscons/wsdisplay.c 	(void) wsdisplay_update_rawkbd(sc, scr);