{
  "finding_id": "DF-3810",
  "title": "Missing p0/p1/p2 zero guard in skl_calc_wrpll_link allows #DE panic on anomalous DPLL_CFGCR2 state",
  "severity": "Low",
  "file": "sys/dev/drm/i915/intel_ddi.c",
  "lines": [1363],
  "verdict": "untested",
  "impact": "none",
  "reproduce": {
    "build": "n/a - source-level finding (no Intel GPU on guest)",
    "run": "n/a",
    "expected": "integer divide exception panic in skl_calc_wrpll_link when DPLL_CFGCR2 holds QDIV_MODE=1 with QDIV_RATIO=0"
  },
  "kernel_refs": [
    "sys/dev/drm/i915/intel_ddi.c:1363",
    "sys/dev/drm/i915/intel_ddi.c:1424",
    "sys/dev/drm/i915/intel_dpll_mgr.c:1214"
  ],
  "artifacts": ["README.md", "VERDICT.md", "verdict.json", "manifest.json", "env.txt"]
}