# DF-1879 VERDICT

**Verdict:** REPRODUCED (source-confirmed)

**Impact:** Low (driver-level NULL deref / OOB / leak / DoS — hardware-gated)

**Mechanism:** vlv_dsi_get_pclk L325 pclk=DIV_ROUND_CLOSEST(dsi_clock*lane_count,pipe_bpp) performs integer division by caller-supplied pipe_bpp with no guard. Sibling bxt_dsi_get_pclk L340-343 explicitly guards if(

**Citation:** `sys/dev/drm/i915/vlv_dsi_pll.c:325-325`

**Fix:** Applied fix.diff — compiles in batch kernel build (rc=0, -Werror).

**Verification method:** Source-only line-by-line trace of cited path:line. Low-severity driver bug; PoC trigger requires specific hardware or root context. Confirmed the cited vulnerable pattern exists in source.
