DF-5349
bus_dmamap_load() with map==NULL silently disables the tag's bounce constraints (segments returned with out-of-window addresses)
Summary
map==NULL substitutes the static nobounce_dmamap and skips bounce counting + per-page substitution: a COULD_BOUNCE tag returns raw physical addresses inside the exclusion window with no warning - a device programmed with such an address DMAs outside its addressable range (device-side RAM corruption). FreeBSD panics here; DFly silently violates. Needs a misusing driver (several in-tree NULL-map one-shot load sites). Loud-fail/document fix.
Discussion (0)
PoC verification
Evidence pack
findings/poc/DF-5349 Β· 1 files| File | Type | Description | Size | |
|---|---|---|---|---|
| verdict.json | file | 950 B | view raw |
Fix verification
not_testablebaseline noβ patch + rebuild βpatched clean
per-fix-DF-5349
Confirmed kernel references
Detail
Evidence (decisive lines)
static trace in finding markdown
Verified recommended fix
see finding markdown
Verdict
untested (Low semantics/race; requires a misusing or racing driver for real impact)
No comments yet.