WSDISPLAY_WB_COUNTER
if (v & WSDISPLAY_WB_COUNTER) {
cleared |= WSDISPLAY_WB_COUNTER;
vidcvideo_queue_dc_change(dc, WSDISPLAY_WB_COUNTER);
vidcvideo_queue_dc_change(dc, WSDISPLAY_WB_COUNTER);
vidcvideo_queue_dc_change(dc, WSDISPLAY_WB_COUNTER);