wsmux_do_displayioctl  108 dev/wscons/wsmux.c int	wsmux_do_displayioctl(struct device *dev, u_long cmd, caddr_t data,
wsmux_do_displayioctl  118 dev/wscons/wsmux.c 	wsmux_mux_open, wsmux_mux_close, wsmux_do_ioctl, wsmux_do_displayioctl,