WSCONS_EVENT_SCREEN_SWITCH
wsdisplay_stat_inject(dv, WSCONS_EVENT_SCREEN_SWITCH, no);
case WSCONS_EVENT_SCREEN_SWITCH: