counter_ida 1377 drivers/counter/counter.c static DEFINE_IDA(counter_ida); counter_ida 1387 drivers/counter/counter.c ida_simple_remove(&counter_ida, device_state->id); counter_ida 1420 drivers/counter/counter.c device_state->id = ida_simple_get(&counter_ida, 0, 0, GFP_KERNEL); counter_ida 1460 drivers/counter/counter.c ida_simple_remove(&counter_ida, device_state->id);