rdma_counter_release  500 drivers/infiniband/core/device.c 		rdma_counter_release(dev);
rdma_counter_release   47 include/rdma/rdma_counter.h void rdma_counter_release(struct ib_device *dev);