wsdisplay_maxscreenidx
maxidx = wsdisplay_maxscreenidx(sc);
int wsdisplay_maxscreenidx(struct wsdisplay_softc *);