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