{
  "finding_id": "DF-4450",
  "title": "PSR2 EDP_PSR2_CTL 4-bit field overflow via sink-reported resync latency (hsw_activate_psr2)",
  "file": "sys/dev/drm/i915/intel_psr.c",
  "verdict": "inconclusive",
  "impact": "none",
  "severity": "Low",
  "confidence": "certain",
  "reproduce": {
    "build": "cc -O2 -o /tmp/psr2_reg_demo /tmp/psr2_reg_demo.c",
    "run": "/tmp/psr2_reg_demo",
    "expected": "latency=15 line shows EDP_PSR2_CTL=0xc0000310 -> IDLE_FRAME=0 FRAME_BEFORE_SU=1 TP2_TIME=50us (three corrupted fields)"
  },
  "kernel_refs": [
    "sys/dev/drm/i915/intel_psr.c:205",
    "sys/dev/drm/i915/intel_psr.c:418",
    "sys/dev/drm/i915/intel_psr.c:421",
    "sys/dev/drm/i915/intel_psr.c:430",
    "sys/dev/drm/i915/i915_reg.h:4217",
    "sys/dev/drm/include/drm/drm_dp_helper.h:800"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "psr2_reg_demo.c", "build.sh", "run.sh",
    "build.log", "run.log", "env.txt", "fix.diff", "manifest.json", "verdict.json"
  ]
}