ocrdma_mbx_delete_ah_tbl 3224 drivers/infiniband/hw/ocrdma/ocrdma_hw.c 	ocrdma_mbx_delete_ah_tbl(dev);
ocrdma_mbx_delete_ah_tbl 3237 drivers/infiniband/hw/ocrdma/ocrdma_hw.c 	ocrdma_mbx_delete_ah_tbl(dev);