WSSCREEN_NAME_SIZE  409 dev/wscons/wsconsio.h 	char screentype[WSSCREEN_NAME_SIZE];
WSSCREEN_NAME_SIZE  363 dev/wscons/wsdisplay.c 		if (!strncmp(name, scr->name, WSSCREEN_NAME_SIZE))
WSSCREEN_NAME_SIZE  451 dev/wscons/wsdisplay.c 	    WSSCREEN_NAME_SIZE);
WSSCREEN_NAME_SIZE   87 dev/wscons/wsdisplayvar.h 	char name[WSSCREEN_NAME_SIZE];