⬢ DragonFlyBSD Kernel Audit
DF-4050 / manifest.json
← back to finding ↓ download raw 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
{
  "finding_id": "DF-4050",
  "title": "adjust_display_pll_v2 never executes the AdjustDisplayPll BIOS command (missing EXEC block; always returns BP_RESULT_FAILURE)",
  "verdict": "untested",
  "impact": "none",
  "reproduce": {
    "build": "",
    "run": "",
    "expected": "n/a - hardware-gated (no AMD GPU in guest); source-certain dead path (functional, Info)"
  },
  "kernel_refs": [
    "sys/dev/drm/amd/display/dc/bios/command_table.c:1457",
    "sys/dev/drm/amd/display/dc/bios/command_table.c:1476",
    "sys/dev/drm/amd/display/dc/bios/command_table.c:1479"
  ],
  "artifacts": ["README.md", "VERDICT.md", "fix.diff", "manifest.json", "verdict.json"]
}