WSDISPLAY_SCROLL_RESET 2138 dev/wscons/wsdisplay.c 	if (op == WSDISPLAY_SCROLL_RESET)
WSDISPLAY_SCROLL_RESET  634 dev/wscons/wskbd.c 					    WSDISPLAY_SCROLL_RESET);