WSDISPLAYIO_SETSCREEN 1100 dev/wscons/wsdisplay.c 	case WSDISPLAYIO_SETSCREEN:
WSDISPLAYIO_SETSCREEN 1235 dev/wscons/wsdisplay.c 	case WSDISPLAYIO_SETSCREEN:
WSDISPLAYIO_SETSCREEN 1275 dev/wscons/wsdisplay.c 	case WSDISPLAYIO_SETSCREEN: