wsdisplay_maxscreenidx  313 dev/wscons/wsdisplay_compat_usl.c 		maxidx = wsdisplay_maxscreenidx(sc);
wsdisplay_maxscreenidx  340 dev/wscons/wsdisplay_compat_usl.c 		maxidx = wsdisplay_maxscreenidx(sc);
wsdisplay_maxscreenidx  187 dev/wscons/wsdisplayvar.h int wsdisplay_maxscreenidx(struct wsdisplay_softc *);