sc_oldscreen 189 dev/wscons/wsdisplay.c int sc_screenwanted, sc_oldscreen; /* valid with SC_SWITCHPENDING */
sc_oldscreen 1633 dev/wscons/wsdisplay.c if (sc->sc_oldscreen == WSDISPLAY_NULLSCREEN) {
sc_oldscreen 1643 dev/wscons/wsdisplay.c sc->sc_screenwanted = sc->sc_oldscreen;
sc_oldscreen 1644 dev/wscons/wsdisplay.c sc->sc_oldscreen = WSDISPLAY_NULLSCREEN;
sc_oldscreen 1688 dev/wscons/wsdisplay.c if (sc->sc_oldscreen == WSDISPLAY_NULLSCREEN) {
sc_oldscreen 1695 dev/wscons/wsdisplay.c sc->sc_screenwanted = sc->sc_oldscreen;
sc_oldscreen 1696 dev/wscons/wsdisplay.c sc->sc_oldscreen = WSDISPLAY_NULLSCREEN;
sc_oldscreen 1804 dev/wscons/wsdisplay.c sc->sc_oldscreen = WSDISPLAY_NULLSCREEN;
sc_oldscreen 1807 dev/wscons/wsdisplay.c sc->sc_oldscreen = sc->sc_focusidx;