cxio_hal_put_pdid  186 drivers/infiniband/hw/cxgb3/cxio_hal.h void cxio_hal_put_pdid(struct cxio_hal_resource *rscp, u32 pdid);
cxio_hal_put_pdid  301 drivers/infiniband/hw/cxgb3/iwch_provider.c 	cxio_hal_put_pdid(rhp->rdev.rscp, php->pdid);