{
  "finding_id": "DF-4643",
  "verdict": "untested",
  "impact": "none (expected dos when hardware present)",
  "reproduce": {
    "build": "n/a (requires AMD GPU + kldload amdgpu + amdgpu.virtual_display=1)",
    "run": "n/a",
    "expected": "blocking taskqueue_drain / CPU migration while holding adev->irq.lock on vblank enable/disable; display-irq stall"
  },
  "kernel_refs": [
    "sys/dev/drm/amd/amdgpu/dce_virtual.c:736",
    "sys/dev/drm/amd/amdgpu/amdgpu_irq.c:458",
    "sys/dev/drm/linux_hrtimer.c:121"
  ],
  "artifacts": ["README.md", "VERDICT.md", "verdict.json", "manifest.json"]
}