<dec f='src/src/sys/dev/wscons/wscons_callbacks.h' l='48' type='0'/>
<use f='src/src/sys/dev/wscons/wsdisplay.c' l='2023' c='wsdisplay_reset'/>
<use f='src/src/sys/dev/wscons/wskbd.c' l='1648' u='r' c='internal_command'/>
