# DF-5076 static proof -- the ipmi_attached re-attach guard across all four frontend probes
# (grep run against the pristine audit tree)

sys/dev/misc/ipmi/ipmi.c:65:int ipmi_attached = 0;
sys/dev/misc/ipmi/ipmi.c:864:	ipmi_attached = 1;
sys/dev/misc/ipmi/ipmi_acpi.c:62:	if (ipmi_attached)
sys/dev/misc/ipmi/ipmi_isa.c:85:	if (ipmi_attached)
sys/dev/misc/ipmi/ipmi_pci.c:77:	if (ipmi_attached)

# => ipmi_acpi.c:62, ipmi_isa.c:85, ipmi_pci.c:77 (Dell quirk probe) guard;
# => ipmi2_pci_probe (ipmi_pci.c:183-193) has NO guard -- the only unguarded frontend probe.
# => ipmi.c:65 declares, ipmi.c:864 sets ipmi_attached=1 on every successful ipmi_attach().