{
 "finding_id": "DF-3839",
 "file": "sys/dev/drm/radeon/evergreen_cs.c",
 "severity": "Medium",
 "confidence": "certain",
 "verdict": "inconclusive",
 "impact": "none",
 "reproduce": {
  "build": "cc -O2 -o trigger trigger.c",
  "run": "./trigger /dev/dri/card0",
  "expected": "on real hardware: see README; on this guest: ENOENT (radeon) / stub runs (iwi)"
 },
 "kernel_refs": [
  "sys/dev/drm/radeon/evergreen_cs.c:2416",
  "sys/dev/drm/radeon/evergreen_cs.c:2419",
  "sys/dev/drm/radeon/evergreen_cs.c:2422",
  "sys/dev/drm/radeon/evergreen_cs.c:2405"
 ],
 "artifacts": []
}