ib_client_put     694 drivers/infiniband/core/device.c 	ib_client_put(client);
ib_client_put     731 drivers/infiniband/core/device.c 	ib_client_put(client);
ib_client_put    1782 drivers/infiniband/core/device.c 	ib_client_put(client);