c4iw_dealloc      957 drivers/infiniband/hw/cxgb4/device.c 	c4iw_dealloc(ctx);
c4iw_dealloc      987 drivers/infiniband/hw/cxgb4/iw_cxgb4.h void c4iw_dealloc(struct uld_ctx *ctx);
c4iw_dealloc      593 drivers/infiniband/hw/cxgb4/provider.c 	c4iw_dealloc(ctx);