wsmux_do_ioctl    110 dev/wscons/wsmux.c int	wsmux_do_ioctl(struct device *, u_long, caddr_t,int,struct proc *);
wsmux_do_ioctl    118 dev/wscons/wsmux.c 	wsmux_mux_open, wsmux_mux_close, wsmux_do_ioctl, wsmux_do_displayioctl,
wsmux_do_ioctl    359 dev/wscons/wsmux.c 	return wsmux_do_ioctl(&wsmuxdevs[minor(dev)]->sc_base.me_dv, cmd, data, flag, p);