⬢ DragonFlyBSD Kernel Audit
DF-3572 / manifest.json
← back to finding ↓ download raw 
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
{
  "finding_id": "DF-3572",
  "verdict": "not_reproduced",
  "impact": "none",
  "confidence": "likely",
  "reproduce": {
    "build": "nothing to build — python3 wm_datarate_wrap.py",
    "run": "python3 wm_datarate_wrap.py",
    "expected": "per-plane data rates 2415353856/1207234560/1207234560 (each fits u32); sum 4829822976 wraps u32 to 534855680; skl_allocate_pipe_ddb emits DDB entries [0,3891] [3891,5840] [5840,7789] inside an 892-block per-pipe DDB (run.log)"
  },
  "kernel_refs": [
    "sys/dev/drm/i915/intel_pm.c:4216",
    "sys/dev/drm/i915/intel_pm.c:4220",
    "sys/dev/drm/i915/intel_pm.c:4252",
    "sys/dev/drm/i915/intel_pm.c:4259",
    "sys/dev/drm/i915/intel_pm.c:4400",
    "sys/dev/drm/i915/intel_pm.c:4441",
    "sys/dev/drm/i915/intel_pm.c:5012",
    "sys/dev/drm/i915/intel_pm.c:5115",
    "sys/dev/drm/i915/i915_drv.h:199",
    "sys/dev/drm/i915/intel_display.c:10926",
    "sys/dev/drm/i915/intel_display.c:12696",
    "sys/dev/drm/i915/intel_display.c:13367"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "wm_datarate_wrap.py",
    "run.log",
    "upstream_v5.2_divergence.diff",
    "env.txt",
    "fix.diff",
    "manifest.json",
    "verdict.json"
  ]
}