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