sc_focusidx       171 dev/wscons/wsdisplay.c 	int sc_focusidx;	/* available only if sc_focus isn't null */
sc_focusidx       423 dev/wscons/wsdisplay.c 		sc->sc_focusidx = idx;
sc_focusidx       441 dev/wscons/wsdisplay.c 		sd->idx = sc->sc_focusidx;
sc_focusidx       714 dev/wscons/wsdisplay.c 		sc->sc_focusidx = 0;
sc_focusidx      1700 dev/wscons/wsdisplay.c 	sc->sc_focusidx = no;
sc_focusidx      1786 dev/wscons/wsdisplay.c 	if ((sc->sc_focus && no == sc->sc_focusidx) ||
sc_focusidx      1807 dev/wscons/wsdisplay.c 		sc->sc_oldscreen = sc->sc_focusidx;
sc_focusidx      1958 dev/wscons/wsdisplay.c 	return (sc->sc_focus ? sc->sc_focusidx : WSDISPLAY_NULLSCREEN);