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;