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