__mlx4_xrcd_free
void __mlx4_xrcd_free(struct mlx4_dev *dev, u32 xrcdn);
__mlx4_xrcd_free(dev, xrcdn);
__mlx4_xrcd_free(dev, xrcdn);
__mlx4_xrcd_free(dev, xrcdn);
__mlx4_xrcd_free(dev, xrcdn);