wskbd_pickfree     66 dev/wscons/wscons_callbacks.h int	wskbd_pickfree(void);
wskbd_pickfree   1316 dev/wscons/wsdisplay.c 			d->idx = wskbd_pickfree();