<dec f='src/src/sys/dev/wscons/wsdisplay_vconsvar.h' l='120' type='void (*)(void *, int, int)'/>
<offset>640</offset>
<doc f='src/src/sys/dev/wscons/wsdisplay_vconsvar.h' l='119'>/* virtual screen management stuff */</doc>
<use f='src/src/sys/dev/wscons/wsdisplay_vcons.c' l='356' u='r' c='vcons_do_switch'/>
<use f='src/src/sys/dev/wscons/wsdisplay_vcons.c' l='410' u='r' c='vcons_do_switch'/>
<use f='src/src/sys/dev/wscons/wsdisplay_vcons.c' l='411' u='r' c='vcons_do_switch'/>
<use f='src/src/sys/dev/wscons/wsdisplay_vcons.c' l='689' u='w' c='vcons_show_screen'/>
