<dec f='src/src/sys/dev/wscons/wsdisplay_vconsvar.h' l='127' type='int'/>
<offset>1728</offset>
<use f='src/src/sys/dev/wscons/wsdisplay_vcons.c' l='165' u='w' c='vcons_init'/>
<use f='src/src/sys/dev/wscons/wsdisplay_vcons.c' l='371' u='w' c='vcons_do_switch'/>
<use f='src/src/sys/dev/wscons/wsdisplay_vcons.c' l='372' u='r' c='vcons_do_switch'/>
<use f='src/src/sys/dev/wscons/wsdisplay_vcons.c' l='381' u='w' c='vcons_do_switch'/>
