VMWGFX_DRIVER_PATCHLEVEL  912 drivers/gpu/drm/vmwgfx/vmwgfx_drv.c 		VMWGFX_DRIVER_PATCHLEVEL);
VMWGFX_DRIVER_PATCHLEVEL 1415 drivers/gpu/drm/vmwgfx/vmwgfx_drv.c 	.patchlevel = VMWGFX_DRIVER_PATCHLEVEL
VMWGFX_DRIVER_PATCHLEVEL 1459 drivers/gpu/drm/vmwgfx/vmwgfx_drv.c 	       __stringify(VMWGFX_DRIVER_PATCHLEVEL) "."