wsscreen_switchwait
(void)wsscreen_switchwait(sc, idx);
return (wsscreen_switchwait(sc, idx));
int wsscreen_switchwait(struct wsdisplay_softc *, int);