ocrdma_free_av    212 drivers/infiniband/hw/ocrdma/ocrdma_ah.c 	ocrdma_free_av(dev, ah);
ocrdma_free_av    222 drivers/infiniband/hw/ocrdma/ocrdma_ah.c 	ocrdma_free_av(dev, ah);
ocrdma_free_av    143 drivers/infiniband/hw/ocrdma/ocrdma_hw.h void ocrdma_free_av(struct ocrdma_dev *dev, struct ocrdma_ah *ah);