WSDISPLAYIO_GETSCREEN 1231 dev/wscons/wsdisplay.c 	case WSDISPLAYIO_GETSCREEN:
WSDISPLAYIO_GETSCREEN 1272 dev/wscons/wsdisplay.c 	case WSDISPLAYIO_GETSCREEN: