c4iw_put_resource  758 drivers/infiniband/hw/cxgb4/device.c 			c4iw_put_resource(&rdev->resource.qid_table,
c4iw_put_resource  950 drivers/infiniband/hw/cxgb4/iw_cxgb4.h void c4iw_put_resource(struct c4iw_id_table *id_table, u32 entry);
c4iw_put_resource  337 drivers/infiniband/hw/cxgb4/mem.c 		c4iw_put_resource(&rdev->resource.tpt_table, stag_idx);
c4iw_put_resource  201 drivers/infiniband/hw/cxgb4/provider.c 	c4iw_put_resource(&rhp->rdev.resource.pdid_table, php->pdid);