vmw_shader_key
vmw_shader_key(user_key, 0),
static u32 vmw_shader_key(u32 user_key, SVGA3dShaderType shader_type);
vmw_shader_key(user_key, shader_type),
vmw_shader_key(user_key, shader_type),
vmw_shader_key(user_key, shader_type));