destroy_mkey      516 drivers/infiniband/hw/mlx5/mr.c 		destroy_mkey(dev, mr);
destroy_mkey     1452 drivers/infiniband/hw/mlx5/mr.c 			err = destroy_mkey(dev, mr);
destroy_mkey     1568 drivers/infiniband/hw/mlx5/mr.c 		destroy_mkey(dev, mr);