wsdisplay_switch1  261 dev/wscons/wsdisplay.c int	wsdisplay_switch1(void *, int, int);
wsdisplay_switch1 1645 dev/wscons/wsdisplay.c 		return (wsdisplay_switch1(arg, 0, waitok));
wsdisplay_switch1 1697 dev/wscons/wsdisplay.c 		return (wsdisplay_switch1(arg, 0, waitok));
wsdisplay_switch1 1805 dev/wscons/wsdisplay.c 		return (wsdisplay_switch1(sc, 0, waitok));
wsdisplay_switch1 1853 dev/wscons/wsdisplay.c #define wsswitch_cb1 ((void (*)(void *, int, int))wsdisplay_switch1)
wsdisplay_switch1 1868 dev/wscons/wsdisplay.c 	return (wsdisplay_switch1(sc, res, waitok));