# DF-0237 -- Low

## Verdict: REPRODUCED (source-confirmed)

REAL: wdog_ioctl checks wdog_auto_enable without holding wdogmtx; a concurrent sysctl toggle races the read. Root-only.

## Impact ceiling
none

## Cited refs
- sys/kern/kern_wdog.c:191

## Fix
Take wdogmtx around the wdog_auto_enable read in wdog_ioctl.

## Validation
Combined 60-finding fix kernel (findings/poc/_low_merged.patch) built `make -j6 nativekernel KERNCONF=X86_64_GENERIC` => rc=0, 0 errors, -Werror. fix_status=fixed.