Searched full:wsdisplay_console_initted (Results 1 - 1 of 1) sorted by relevance

/src/sys/dev/wscons/
H A Dwsdisplay.c242 static int wsdisplay_console_initted; variable in typeref:typename:int
859 KASSERT(wsdisplay_console_initted);
926 KASSERT(wsdisplay_console_initted < 2);
949 wsdisplay_console_initted = 2;
958 KASSERT(!wsdisplay_console_initted);
981 wsdisplay_console_initted = 1;
987 KASSERT(wsdisplay_console_initted == 1);
990 wsdisplay_console_initted = 0;
996 KASSERT(wsdisplay_console_initted == 2);
999 wsdisplay_console_initted
[all...]

Completed in 5 milliseconds