Symbol: wsdisplay_stat_inject
sys/dev/wscons/wsdisplay.c
2092
wsdisplay_stat_inject(dv, WSCONS_EVENT_SCREEN_SWITCH, no);
sys/dev/wscons/wsdisplayvar.h
238
int wsdisplay_stat_inject(device_t, u_int, int);