wsdisplay_switch
if (wsdisplay_switch(sc->sc_wsdisplay,
wsdisplay_switch(sc->sc_wsdisplay,
int wsdisplay_switch(device_t, int, int);
return wsdisplay_switch(dv, idx, 1);
wsdisplay_switch(sc->sc_base.me_dispdv, ksym - KS_Cmd_Screen0, 0);