# DF-1512 VERDICT

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

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

**Mechanism:** vga_switcheroo.c:557 mutex_lock(mux_hw_lk); 558-561 if (!handler || !handler->switch_ddc) { old_ddc_owner=-ENODEV; return -ENODEV; } LEAVES LOCK HELD. In-tree indexed gmux handler (apple-gmux.c:600-60

**Citation:** `sys/dev/video/vga/vga_switcheroo.c:557-561`

**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.