Symbol: wsdisplay_switch3_cb
sys/dev/wscons/wsdisplay.c
2010
wsdisplay_switch3_cb, dv);
sys/dev/wscons/wsdisplay.c
272
static void wsdisplay_switch3_cb(void *, int, int);