cxio_hal_put_stag  727 drivers/infiniband/hw/cxgb3/cxio_hal.c 		cxio_hal_put_stag(rdev_p->rscp, stag_idx);
cxio_hal_put_stag   51 drivers/infiniband/hw/cxgb3/cxio_resource.h extern void cxio_hal_put_stag(struct cxio_hal_resource *rscp, u32 stag);