{
 "finding_id": "DF-3613",
 "title": "Integer divide-by-zero on zero PLL reference clock from VBIOS FirmwareInfo (si_dpm.c:4811 do_div, :4927 mpll divide)",
 "severity": "Medium",
 "verdict": "reproduced",
 "impact": "panic",
 "confidence": "certain",
 "reproduce": {
  "build": "sh build.sh",
  "run": "sh run.sh",
  "expected": "see VERDICT.md 'expected output'"
 },
 "kernel_refs": [
  "sys/dev/drm/radeon/si_dpm.c:4811",
  "sys/dev/drm/radeon/si_dpm.c:4927",
  "sys/dev/drm/radeon/radeon_atombios.c:1189",
  "sys/dev/drm/radeon/radeon_atombios.c:1216"
 ],
 "artifacts": [
  "harness.c",
  "build.sh",
  "run.sh",
  "build.log",
  "run.log",
  "fix.diff",
  "fix_build.log",
  "fix_run.log",
  "VERDICT.md",
  "README.md",
  "manifest.json",
  "verdict.json"
 ]
}