# DF-1601 VERDICT

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

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

**Mechanism:** kbdmux.c:452-459 kbdmux_term slave-release loop: SLIST_REMOVE_HEAD+ks_kbds kfree OUTSIDE kbd_token. Reached from MOD_UNLOAD at 1232 (*sw->term)(kbd) directly, bypassing kbd_term wrapper KBD_ALWAYS_LOC

**Citation:** `sys/dev/misc/kbdmux/kbdmux.c:452-1232`

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