version_patchlevel   83 drivers/gpu/drm/drm_ioc32.c 	int version_patchlevel;	   /* Patch level */
version_patchlevel  117 drivers/gpu/drm/drm_ioc32.c 	v32.version_patchlevel = v.version_patchlevel;
version_patchlevel  512 drivers/gpu/drm/drm_ioctl.c 	version->version_patchlevel = dev->driver->patchlevel;
version_patchlevel  143 include/uapi/drm/drm.h 	int version_patchlevel;	  /**< Patch level */
version_patchlevel  143 tools/include/uapi/drm/drm.h 	int version_patchlevel;	  /**< Patch level */