vmw_get_vblank_counter 1392 drivers/gpu/drm/vmwgfx/vmwgfx_drv.c 	.get_vblank_counter = vmw_get_vblank_counter,
vmw_get_vblank_counter 1088 drivers/gpu/drm/vmwgfx/vmwgfx_drv.h u32 vmw_get_vblank_counter(struct drm_device *dev, unsigned int pipe);