if (ah->last_send <= priv->tx_tail) { 
if ((int) priv->tx_tail - (int) ah->last_send >= 0) { 
void ipoib_free_ah(struct kref *kref){	struct ipoib_ah *ah = container_of(kref, struct ipoib_ah, ref);	struct ipoib_dev_priv *priv = netdev_priv(ah->dev);	unsigned long flags;	if (ah->last_send <= priv->tx_tail) {		ipoib_dbg(priv, "Freeing ah %p\n", ah->ah);		ib_destroy_ah(ah->ah);		kfree(ah);	} else {		spin_lock_irqsave(&priv->lock, flags);		list_add_tail(&ah->list, &priv->dead_ahs);		spin_unlock_irqrestore(&priv->lock, flags);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/2181858bb814b51de8ec25b3ddd37cd06c53b0c9/ipoib_ib.c/buggy/drivers/infiniband/ulp/ipoib/ipoib_ib.c