wsscreen_detach   151 dev/wscons/wsdisplay.c void	wsscreen_detach(struct wsscreen *);
wsscreen_detach   532 dev/wscons/wsdisplay.c 	wsscreen_detach(scr);