wskbd_do_ioctl    235 dev/wscons/wskbd.c int	wskbd_do_ioctl(struct device *, u_long, caddr_t, int, struct proc *);
wskbd_do_ioctl    281 dev/wscons/wskbd.c 	wskbd_mux_open, wskbd_mux_close, wskbd_do_ioctl,
wskbd_do_ioctl    903 dev/wscons/wskbd.c 	return (wskbd_do_ioctl(wskbd_cd.cd_devs[minor(dev)], cmd, data, flag,p));