wsdisplay_switchtoconsole 2196 dev/wscons/wsdisplay.c 	wsdisplay_switchtoconsole();
wsdisplay_switchtoconsole  211 dev/wscons/wsdisplayvar.h void wsdisplay_switchtoconsole(void);