wsdisplay_console_initted  241 dev/wscons/wsdisplay.c int	wsdisplay_console_initted;
wsdisplay_console_initted  693 dev/wscons/wsdisplay.c 		KASSERT(wsdisplay_console_initted);
wsdisplay_console_initted  782 dev/wscons/wsdisplay.c 	KASSERT(!wsdisplay_console_initted);
wsdisplay_console_initted  809 dev/wscons/wsdisplay.c 	wsdisplay_console_initted = 1;
wsdisplay_console_initted 2057 dev/wscons/wsdisplay.c 	if (!wsdisplay_console_initted)