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