Lines Matching defs:wsdisplay_console_initted
242 static int wsdisplay_console_initted;
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 = 0;
2323 if (!wsdisplay_console_initted)
Indexes created Tue Oct 21 19:09:51 GMT 2025