wskbd_detach      207 dev/wscons/wskbd.c int	wskbd_detach(struct device *, int);
wskbd_detach      243 dev/wscons/wskbd.c 	wskbd_detach, wskbd_activate