wskbd_console_initted  295 dev/wscons/wskbd.c static int wskbd_console_initted;
wskbd_console_initted  417 dev/wscons/wskbd.c 		KASSERT(wskbd_console_initted); 
wskbd_console_initted  465 dev/wscons/wskbd.c 	KASSERT(!wskbd_console_initted);
wskbd_console_initted  477 dev/wscons/wskbd.c 	wskbd_console_initted = 1;
wskbd_console_initted  483 dev/wscons/wskbd.c 	KASSERT(wskbd_console_initted);
wskbd_console_initted  494 dev/wscons/wskbd.c 	wskbd_console_initted = 0;
wskbd_console_initted 1273 dev/wscons/wskbd.c 	if (!wskbd_console_initted)
wskbd_console_initted 1299 dev/wscons/wskbd.c 	if (!wskbd_console_initted)
wskbd_console_initted 1313 dev/wscons/wskbd.c 	if (!wskbd_console_initted)