WSDISPLAY_DEFAULTSCREENS  256 dev/wscons/wsdisplay.c #ifndef WSDISPLAY_DEFAULTSCREENS
WSDISPLAY_DEFAULTSCREENS  259 dev/wscons/wsdisplay.c int	wsdisplay_defaultscreens = WSDISPLAY_DEFAULTSCREENS;
WSDISPLAY_DEFAULTSCREENS 2347 dev/wscons/wsdisplay.c 	for (i = 0 ; i < WSDISPLAY_DEFAULTSCREENS ; i++)