{
  "finding_id": "DF-4354",
  "file": "sys/dev/netif/sn/if_sn.c",
  "title": "sn_attach() ignores sn_activate() failure: rman_get_cpuid(NULL) kernel panic + I/O writes into ISA DMA-controller ports 0x00-0x0F",
  "verdict": { "status": "untested", "impact": "none", "confidence": "certain", "reason": "hardware-gated (SMC91xx PCMCIA absent from guest); source-level certainty" },
  "reproduce": {
    "build": "N/A - hardware-gated; no executable PoC",
    "run": "N/A",
    "expected": "On real hardware with attach-time resource failure: kernel NULL-deref panic at if_sn.c:216 during DEVICE_ATTACH; stray outw to ports 0x00-0x0F (ISA DMA controller)"
  },
  "kernel_refs": [
    "sys/dev/netif/sn/if_sn.c:164",
    "sys/dev/netif/sn/if_sn.c:216",
    "sys/dev/netif/sn/if_sn.c:173",
    "sys/dev/netif/sn/if_sn.c:188",
    "sys/dev/netif/sn/if_sn.c:1177",
    "sys/dev/netif/sn/if_sn.c:1188",
    "sys/sys/rman.h:157",
    "sys/dev/netif/sn/if_snreg.h:400"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "fix.diff",
    "env.txt",
    "verdict.json",
    "manifest.json"
  ]
}