wskbd_cndetach    242 dev/hil/hilkbd.c 		wskbd_cndetach();
wskbd_cndetach    540 dev/usb/ukbd.c 		wskbd_cndetach();
wskbd_cndetach     87 dev/wscons/wskbdvar.h void	wskbd_cndetach(void);