mga_get_vblank_counter   65 drivers/gpu/drm/mga/mga_drv.c 	.get_vblank_counter = mga_get_vblank_counter,
mga_get_vblank_counter  203 drivers/gpu/drm/mga/mga_drv.h extern u32 mga_get_vblank_counter(struct drm_device *dev, unsigned int pipe);