/* The DRM device we are looking for */
#define RESOLUTION_VENDOR "0x15ad"
-#define RESOLUTION_DEVICE "0x0405"
+#define RESOLUTION_SVGA2_DEVICE "0x0405"
+#define RESOLUTION_SVGA3_DEVICE "0x0406"
#define RESOLUTION_KERNELNAME "vmwgfx"
/* Required DRM version for resolutionKMS */
if (!vendor || !device)
goto skipCheck;
- if (strcmp(vendor, RESOLUTION_VENDOR) ||
- strcmp(device, RESOLUTION_DEVICE))
+ if (strcmp(vendor, RESOLUTION_VENDOR) != 0 ||
+ (strcmp(device, RESOLUTION_SVGA2_DEVICE) != 0 &&
+ strcmp(device, RESOLUTION_SVGA3_DEVICE) != 0))
goto skipCheck;
devNode = udev_device_get_devnode(dev);
/* The DRM device we are looking for */
#define VMWGFXCTRL_VENDOR "0x15ad"
-#define VMWGFXCTRL_DEVICE "0x0405"
+#define VMWGFXCTRL_SVGA2_DEVICE "0x0405"
+#define VMWGFXCTRL_SVGA3_DEVICE "0x0406"
#define VMWGFXCTRL_KERNELNAME "vmwgfx"
/* Required DRM version for resolutionKMS */
}
if (strcmp(vendor, VMWGFXCTRL_VENDOR) != 0 ||
- strcmp(device, VMWGFXCTRL_DEVICE) != 0) {
+ (strcmp(device, VMWGFXCTRL_SVGA2_DEVICE) != 0 &&
+ strcmp(device, VMWGFXCTRL_SVGA3_DEVICE) != 0)) {
goto skipCheck;
}