Symbol: wsdisplay_switch3
sys/dev/wscons/wsdisplay.c
1777
#define wsswitch_cb3 ((void (*)(void *, int, int))wsdisplay_switch3)
sys/dev/wscons/wsdisplay.c
1789
return (wsdisplay_switch3(sc, error, waitok));
sys/dev/wscons/wsdisplay.c
270
int wsdisplay_switch3(void *, int, int);