<dec f='src/src/sys/dev/wscons/wscons_callbacks.h' l='49' type='1'/>
<use f='src/src/sys/dev/wscons/wsdisplay.c' l='2029' c='wsdisplay_reset'/>
<use f='src/src/sys/dev/wscons/wskbd.c' l='1651' u='r' c='internal_command'/>
