ocrdma_mbx_dealloc_lkey  119 drivers/infiniband/hw/ocrdma/ocrdma_hw.h int ocrdma_mbx_dealloc_lkey(struct ocrdma_dev *, int fmr, u32 lkey);
ocrdma_mbx_dealloc_lkey  922 drivers/infiniband/hw/ocrdma/ocrdma_verbs.c 	(void) ocrdma_mbx_dealloc_lkey(dev, mr->hwmr.fr_mr, mr->hwmr.lkey);