VMWGFX_DRIVER_NAME 1410 drivers/gpu/drm/vmwgfx/vmwgfx_drv.c 	.name = VMWGFX_DRIVER_NAME,
VMWGFX_DRIVER_NAME 1419 drivers/gpu/drm/vmwgfx/vmwgfx_drv.c 	.name = VMWGFX_DRIVER_NAME,
VMWGFX_DRIVER_NAME  377 drivers/gpu/drm/vmwgfx/vmwgfx_irq.c 				   IRQF_SHARED, VMWGFX_DRIVER_NAME, dev);