struct ib_mad_send_buf *msg;  msg = (struct ib_mad_send_buf *)(unsigned long)mad_send_wc->wr_id; 
struct ib_mad_send_buf *msg = mad_send_wc->send_buf; 
static void cm_send_handler(struct ib_mad_agent *mad_agent,			    struct ib_mad_send_wc *mad_send_wc){	struct ib_mad_send_buf *msg;	msg = (struct ib_mad_send_buf *)(unsigned long)mad_send_wc->wr_id;	switch (mad_send_wc->status) {	case IB_WC_SUCCESS:	case IB_WC_WR_FLUSH_ERR:		cm_free_msg(msg);		break;	default:		if (msg->context[0] && msg->context[1])			cm_process_send_error(msg, mad_send_wc->status);		else			cm_free_msg(msg);		break;	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/34816ad98efe4d47ffd858a0345321f9d85d9420/cm.c/buggy/drivers/infiniband/core/cm.c