[PATCH 06/12] drm/vmwgfx: Update device headers for GL43