ocrdma_alloc_pd_pool  155 drivers/infiniband/hw/ocrdma/ocrdma_hw.h void ocrdma_alloc_pd_pool(struct ocrdma_dev *dev);
ocrdma_alloc_pd_pool  282 drivers/infiniband/hw/ocrdma/ocrdma_main.c 	ocrdma_alloc_pd_pool(dev);