[PATCH 3/5] wined3d: Simplify device_resource_released() a little.