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);