ipmi_bmc_ida     2910 drivers/char/ipmi/ipmi_msghandler.c static DEFINE_IDA(ipmi_bmc_ida);
ipmi_bmc_ida     2925 drivers/char/ipmi/ipmi_msghandler.c 	ida_simple_remove(&ipmi_bmc_ida, id);
ipmi_bmc_ida     3041 drivers/char/ipmi/ipmi_msghandler.c 		rv = ida_simple_get(&ipmi_bmc_ida, 0, 0, GFP_KERNEL);