ipmi_dmi_nr        33 drivers/char/ipmi/ipmi_dmi.c static int ipmi_dmi_nr __initdata;
ipmi_dmi_nr        89 drivers/char/ipmi/ipmi_dmi.c 	if (ipmi_platform_add(name, ipmi_dmi_nr, &p))
ipmi_dmi_nr        90 drivers/char/ipmi/ipmi_dmi.c 		ipmi_dmi_nr++;