wsdisplay_switch1
return (wsdisplay_switch1(arg, 0, waitok));
return (wsdisplay_switch1(arg, 0, waitok));
return (wsdisplay_switch1(sc, 0, waitok));
#define wsswitch_cb1 ((void (*)(void *, int, int))wsdisplay_switch1)
return (wsdisplay_switch1(sc, res, waitok));
int wsdisplay_switch1(void *, int, int);