wsdisplay_switch3  263 dev/wscons/wsdisplay.c int	wsdisplay_switch3(void *, int, int);
wsdisplay_switch3 1709 dev/wscons/wsdisplay.c #define wsswitch_cb3 ((void (*)(void *, int, int))wsdisplay_switch3)
wsdisplay_switch3 1721 dev/wscons/wsdisplay.c 	return (wsdisplay_switch3(sc, error, waitok));