WSDISPLAY_DELSCR_QUIET  536 dev/wscons/wsdisplay.c 	if ((flags & WSDISPLAY_DELSCR_QUIET) == 0)
WSDISPLAY_DELSCR_QUIET  612 dev/wscons/wsdisplay.c 			    WSDISPLAY_DELSCR_QUIET | (flags & DETACH_FORCE ?