wsdisplay_switch2
#define wsswitch_cb2 ((void (*)(void *, int, int))wsdisplay_switch2)
return (wsdisplay_switch2(sc, error, waitok));
int wsdisplay_switch2(void *, int, int);