c4iw_pblpool_destroy  916 drivers/infiniband/hw/cxgb4/device.c 	c4iw_pblpool_destroy(rdev);
c4iw_pblpool_destroy  927 drivers/infiniband/hw/cxgb4/device.c 	c4iw_pblpool_destroy(rdev);
c4iw_pblpool_destroy  957 drivers/infiniband/hw/cxgb4/iw_cxgb4.h void c4iw_pblpool_destroy(struct c4iw_rdev *rdev);