{
  "finding_id": "DF-5145",
  "title": "ipmi_acpi SSIF stub attaches a dead softc (return 0 without any initialization); module unload/teardown calls NULL ipmi_enqueue_request -> fatal trap",
  "verdict": "reproduced",
  "impact": "panic",
  "confidence": "certain",
  "reproduce": {
    "build": "guest: cd /usr/src/sys/dev/misc/ipmi && make   (audit-tree kernel via: cd /usr/src && make nativekernel KERNCONF=X86_64_GENERIC && make installkernel KERNCONF=X86_64_GENERIC)",
    "run": "host: python3 ssdt_gen.py ssdt-ipmi-ssif.aml; QEMU_EXTRA=\"-acpitable file=...\" dfbsd-qemu/vm.sh up; vm.sh run_root 'kldload /root/ipmi-audit.ko'; vm.sh run_root 'kldunload ipmi-audit'",
    "expected": "attach: 'ipmi0: SSIF interface not supported on ACPI' (returns 0, dead softc); unload: Fatal trap 12, fault virtual address 0x0, instruction pointer 0x0, DDB prompt"
  },
  "kernel_refs": [
    "sys/dev/misc/ipmi/ipmi_acpi.c:104",
    "sys/dev/misc/ipmi/ipmi_acpi.c:109",
    "sys/dev/misc/ipmi/ipmivars.h:132",
    "sys/dev/misc/ipmi/ipmi_kcs.c:487",
    "sys/dev/misc/ipmi/ipmi_smic.c:393",
    "sys/dev/misc/ipmi/ipmi.c:719",
    "sys/dev/misc/ipmi/ipmi.c:584",
    "sys/dev/misc/ipmi/ipmi.c:869",
    "sys/dev/misc/ipmi/ipmi.c:887",
    "sys/dev/misc/ipmi/ipmi.c:940"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "ssdt_gen.py", "build.sh", "run.sh",
    "build.log", "run.log", "panic.txt", "env.txt", "fix.diff",
    "manifest.json", "verdict.json"
  ]
}