{
  "finding_id": "DF-5137",
  "verdict": "untested",
  "impact": "none",
  "confidence": "certain",
  "reproduce": {
    "build": "sh findings/poc/DF-5137/check_static.sh /home/maxx/dfbsd/dfbsd",
    "run": "sh findings/poc/DF-5137/check_static.sh /home/maxx/dfbsd/dfbsd",
    "expected": "11/11 PASS in check_static.log; runtime manifestation hardware-gated (Kaveri APU, absent on audit guest)"
  },
  "kernel_refs": [
    "sys/dev/drm/radeon/kv_smc.c:30-52",
    "sys/dev/drm/radeon/kv_smc.c:44-51",
    "sys/dev/drm/radeon/kv_smc.c:54-64",
    "sys/dev/drm/radeon/ppsmc.h:67-68",
    "sys/dev/drm/radeon/cikd.h:429-431",
    "sys/dev/drm/radeon/si_smc.c:172-190",
    "sys/dev/drm/radeon/rv770_smc.c:424-448",
    "sys/dev/drm/radeon/kv_dpm.c:451-471"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "check_static.sh",
    "check_static.log",
    "fix.diff",
    "fix_build.log",
    "env.txt",
    "manifest.json",
    "verdict.json"
  ]
}