# DF-1845 VERDICT

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

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

**Mechanism:** gpio_unregister L596-600 loop calls devfs_clone_bitmap_get(DEVFS_CLONE_BITMAP(gpio),minor(gp->pins[i].dev)) which ALLOCATES lowest free bit<=limit marks in-use; does NOT free supplied unit. Intended c

**Citation:** `sys/dev/misc/gpio/gpio.c:596-600`

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