DF-3654 / manifest.json
{ "finding_id": "DF-3654", "verdict": "inconclusive", "impact": "none", "reproduce": { "build": "cc -O2 -Wall -o harness harness.c", "run": "./harness", "expected": "prints the handle_hpd_rx_irq lock-pairing matrix with the two unbalanced cells (STRANDED LOCK / UNLOCK WITHOUT HOLD) and their dc_link.c causes" }, "kernel_refs": [ "sys/dev/drm/amd/display/amdgpu_dm/amdgpu_dm.c:1209", "sys/dev/drm/amd/display/amdgpu_dm/amdgpu_dm.c:1232", "sys/dev/drm/amd/display/amdgpu_dm/amdgpu_dm.c:1251", "sys/dev/drm/amd/display/dc/core/dc_link.c:528", "sys/dev/drm/amd/display/dc/core/dc_link.c:569", "sys/dev/drm/amd/display/amdgpu_dm/amdgpu_dm.c:1083", "sys/dev/drm/amd/display/amdgpu_dm/amdgpu_dm.c:3940", "sys/dev/drm/amd/display/amdgpu_dm/amdgpu_dm_irq.c:334" ], "artifacts": [ "harness.c", "build.sh", "run.sh", "build.log", "run.log", "env.txt", "VERDICT.md", "fix.diff", "manifest.json", "verdict.json", "README.md" ] } |