c4iw_destroy_resource  918 drivers/infiniband/hw/cxgb4/device.c 	c4iw_destroy_resource(&rdev->resource);
c4iw_destroy_resource  933 drivers/infiniband/hw/cxgb4/device.c 	c4iw_destroy_resource(&rdev->resource);
c4iw_destroy_resource  960 drivers/infiniband/hw/cxgb4/iw_cxgb4.h void c4iw_destroy_resource(struct c4iw_resource *rscp);