wsdisplay_switch
int wsdisplay_switch(struct device *, int, int);
return (wsdisplay_switch((void *)sc, *(int *)data, 1));
return (wsdisplay_switch((void *)sc, *(int *)data, 1));
ret = wsdisplay_switch((struct device *)sc, idx, 1);
(void)wsdisplay_switch((struct device *)sc, idx, 1);
return (wsdisplay_switch((struct device *)sc, idx, 1));
wsdisplay_switch(sc->sc_displaydv, ksym - KS_Cmd_Screen0, 0);