wsmux_mux_close    97 dev/wscons/wsmux.c int	wsmux_mux_close(struct wsevsrc *);
wsmux_mux_close   118 dev/wscons/wsmux.c 	wsmux_mux_open, wsmux_mux_close, wsmux_do_ioctl, wsmux_do_displayioctl,