DF-4674

bktr_attach fail-path releases the memory BAR with resource type SYS_RES_IRQ — resource_list_release() panics ('can't find resource') on any attach failure after the BAR was mapped

Summary

Copy/paste wrong type in the fail label: the mem resource is released with SYS_RES_IRQ, so resource_list_release looks up (IRQ, mem_rid), finds nothing, and panics. Reachable when IRQ alloc/setup fails after BAR mapping. SYS_RES_MEMORY one-token fix.

Discussion (0)

No comments yet.

Severity: Low
Status: new
Bucket: Base system — drivers
Confidence: certain
Pass: 2 · GLM 5.3 second pass
CVSS 3.1: CVSS:3.1/AV:L/AC:H/PR:H/UI:N/S:U/C:N/I:N/A:H
CWE: CWE-755
File: sys/dev/video/bktr/bktr_os.c
Lines: 331-336
Area: dev
Discovered: 2026-09-22
Updated: 2026-09-22

Team triage

untriaged

priority: — · owner: —

PoC verification

untested

Status: untested
Reproduced: no
Impact: bktr_attach fail-path releases the memory BAR with SYS_RES_IRQ type - resource_list_release panics on any attach failure after BAR mapping (availability only)
Confidence: certain
Tested: 2026-09-22 19:24:17
Attempts: 0
Runtime: —
Code hash: —
Guest: —
Build cmd: —
Run cmd: —

jump to evidence pack ↓

Fix verification

not_testable

Fix status: not_testable
Baseline reproduced: no
Patched reproduced: no
Confidence: certain
Tested: 2026-09-22 19:24:17
Runtime: —
Kernel: per-fix-DF-4674
fix.diff: findings/poc/DF-4674/fix.diff
Runner: df-bsd-reviewer

jump to fix verification ↓

PoC verification

Evidence pack

findings/poc/DF-4674 · 1 files

File	Type	Description	Size
verdict.json	file		866 B	view raw

Fix verification

not_testable

baseline no→ patch + rebuild →patched clean

not_testable: hardware-gated (no Bt848 / no CardMan on guest)

fix in finding markdown

per-fix-DF-4674

Confirmed kernel references

Detail

Exploit chain

[]

Evidence (decisive lines)

copy/paste wrong type. SYS_RES_MEMORY fix.

Verdict

not_run: needs Bt848 + failing IRQ alloc/setup at attach; path directly verifiable to subr_bus.c:3263 panic