destroy_srq_kernel  331 drivers/infiniband/hw/mlx5/srq.c 		destroy_srq_kernel(dev, srq);
destroy_srq_kernel  402 drivers/infiniband/hw/mlx5/srq.c 		destroy_srq_kernel(dev, msrq);