c4iw_release_dev_ucontext  925 drivers/infiniband/hw/cxgb4/device.c 	c4iw_release_dev_ucontext(rdev, &rdev->uctx);
c4iw_release_dev_ucontext  966 drivers/infiniband/hw/cxgb4/iw_cxgb4.h void c4iw_release_dev_ucontext(struct c4iw_rdev *rdev,
c4iw_release_dev_ucontext   72 drivers/infiniband/hw/cxgb4/provider.c 	c4iw_release_dev_ucontext(&rhp->rdev, &ucontext->uctx);