Symbol: wskbd_pickfree
sys/dev/wscons/wscons_callbacks.h
67
int wskbd_pickfree(void);
sys/dev/wscons/wsdisplay.c
1387
d->idx = wskbd_pickfree();