umad_ida          143 drivers/infiniband/core/user_mad.c static DEFINE_IDA(umad_ida);
umad_ida         1271 drivers/infiniband/core/user_mad.c 	devnum = ida_alloc_max(&umad_ida, IB_UMAD_MAX_PORTS - 1, GFP_KERNEL);
umad_ida         1317 drivers/infiniband/core/user_mad.c 	ida_free(&umad_ida, devnum);
umad_ida         1348 drivers/infiniband/core/user_mad.c 	ida_free(&umad_ida, port->dev_num);