wsevsrc_close     321 dev/wscons/wsmux.c 		(void)wsevsrc_close(me);
wsevsrc_close     699 dev/wscons/wsmux.c 		(void)wsevsrc_close(me);