# DF-1929 VERDICT

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

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

**Mechanism:** acpi_battery_find_dev L349-350 batt_dc=devclass_find(battery); maxunit=devclass_get_maxunit(batt_dc). devclass_get_maxunit subr_bus.c:1047-1050 dereferences dc unconditionally. If batt_dc==NULL (kldun

**Citation:** `sys/dev/acpica/acpi_battery.c:349-380`

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