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);