waiter_count     1040 drivers/gpu/drm/vmwgfx/vmwgfx_drv.h 				   int *waiter_count);
waiter_count     1042 drivers/gpu/drm/vmwgfx/vmwgfx_drv.h 				      u32 flag, int *waiter_count);
waiter_count      239 drivers/gpu/drm/vmwgfx/vmwgfx_irq.c 			    u32 flag, int *waiter_count)
waiter_count      242 drivers/gpu/drm/vmwgfx/vmwgfx_irq.c 	if ((*waiter_count)++ == 0) {
waiter_count      251 drivers/gpu/drm/vmwgfx/vmwgfx_irq.c 			       u32 flag, int *waiter_count)
waiter_count      254 drivers/gpu/drm/vmwgfx/vmwgfx_irq.c 	if (--(*waiter_count) == 0) {