if (is_data_mad(mad_agent_priv, mad_send_wr->send_wr.wr.ud.mad_hdr) && 
if (is_data_mad(mad_agent_priv, mad_send_wr->send_buf.mad) && 
ib_find_send_mad(struct ib_mad_agent_private *mad_agent_priv, __be64 tid){	struct ib_mad_send_wr_private *mad_send_wr;	list_for_each_entry(mad_send_wr, &mad_agent_priv->wait_list,			    agent_list) {		if (mad_send_wr->tid == tid)			return mad_send_wr;	}	/*	 * It's possible to receive the response before we've	 * been notified that the send has completed	 */	list_for_each_entry(mad_send_wr, &mad_agent_priv->send_list,			    agent_list) {		if (is_data_mad(mad_agent_priv,				mad_send_wr->send_wr.wr.ud.mad_hdr) &&		    mad_send_wr->tid == tid && mad_send_wr->timeout) {			/* Verify request has not been canceled */			return (mad_send_wr->status == IB_WC_SUCCESS) ?				mad_send_wr : NULL;		}	}	return NULL;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/34816ad98efe4d47ffd858a0345321f9d85d9420/mad.c/buggy/drivers/infiniband/core/mad.c