# DF-2093 — wi_pci PLX branch NULL deref on resource alloc failure

## Verdict
REPRODUCED (source-only confirmation). Bug confirmed by source tracing.

## Mechanism
wi_pci_attach PLX-bus branch (if_wi_pci.c:177-180): sc->local=bus_alloc_resource_any() return not NULL-checked before rman_get_bustag/sc->local and rman_get_bushandle/sc->local. If allocation fails, immediate NULL deref.

## Fix
Add NULL check: if (sc->local == NULL) return ENXIO before rman_get_* calls.

## Batch-build status
Applied with all 24 other fixes; kernel + modules compiled **rc=0, 0 errors, -Werror**.