wsdisplay_switch2  262 dev/wscons/wsdisplay.c int	wsdisplay_switch2(void *, int, int);
wsdisplay_switch2 1758 dev/wscons/wsdisplay.c #define wsswitch_cb2 ((void (*)(void *, int, int))wsdisplay_switch2)
wsdisplay_switch2 1767 dev/wscons/wsdisplay.c 	return (wsdisplay_switch2(sc, error, waitok));