ipmi_ifnum         37 drivers/acpi/acpi_ipmi.c 	int ipmi_ifnum; /* IPMI interface number */
ipmi_ifnum        127 drivers/acpi/acpi_ipmi.c 	ipmi_device->ipmi_ifnum = iface;
ipmi_ifnum        492 drivers/acpi/acpi_ipmi.c 		if (ipmi_device->ipmi_ifnum != iface) {
ipmi_ifnum         44 drivers/char/ipmi/ipmi_poweroff.c static int ipmi_ifnum;
ipmi_ifnum         55 drivers/char/ipmi/ipmi_poweroff.c 	if ((ifnum_to_use < 0) || (ifnum_to_use == ipmi_ifnum))
ipmi_ifnum         58 drivers/char/ipmi/ipmi_poweroff.c 	ipmi_po_smi_gone(ipmi_ifnum);
ipmi_ifnum        576 drivers/char/ipmi/ipmi_poweroff.c 	ipmi_ifnum = if_num;
ipmi_ifnum        639 drivers/char/ipmi/ipmi_poweroff.c 	if (ipmi_ifnum != if_num)