<dec f='src/src/sys/dev/wscons/wscons_callbacks.h' l='65' type='int wskbd_pickfree()'/>
<use f='src/src/sys/dev/wscons/wsdisplay.c' l='1486' u='c' c='wsdisplay_cfg_ioctl'/>
<def f='src/src/sys/dev/wscons/wskbd.c' l='1312' ll='1326' type='int wskbd_pickfree()'/>
