maxidx            309 dev/wscons/wsdisplay_compat_usl.c 	int idx, maxidx;
maxidx            313 dev/wscons/wsdisplay_compat_usl.c 		maxidx = wsdisplay_maxscreenidx(sc);
maxidx            314 dev/wscons/wsdisplay_compat_usl.c 		for (idx = 0; idx <= maxidx; idx++) {
maxidx            340 dev/wscons/wsdisplay_compat_usl.c 		maxidx = wsdisplay_maxscreenidx(sc);
maxidx            341 dev/wscons/wsdisplay_compat_usl.c 		for (idx = 0; idx <= maxidx; idx++)