wsdisplay_switch1
return wsdisplay_switch1(dv, 0, waitok);
return wsdisplay_switch1(dv, 0, waitok);
wsdisplay_switch1(dv, error, waitok);
return wsdisplay_switch1(dv, 0, waitok);
return wsdisplay_switch1(dv, 0, waitok);
return wsdisplay_switch1(dv, res, waitok);
static int wsdisplay_switch1(device_t, int, int);