# DF-1584 VERDICT

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

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

**Mechanism:** mfi_tbolt.c:1097 cmd=mfi_tbolt_get_cmd removes cmd from free pool. 1105-1106 if(mfi_tbolt_build_io(...)) return NULL WITHOUT mfi_tbolt_return_cmd(sc,cmd). cmd permanently lost from both free and busy 

**Citation:** `sys/dev/raid/mfi/mfi_tbolt.c:1097-1106`

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