u32 doorbell[2]; 
__be32 doorbell[2]; 
static inline void update_cons_index(struct mthca_dev *dev, struct mthca_cq *cq,				     int incr){	u32 doorbell[2];	if (mthca_is_memfree(dev)) {		*cq->set_ci_db = cpu_to_be32(cq->cons_index);		wmb();	} else {		doorbell[0] = cpu_to_be32(MTHCA_TAVOR_CQ_DB_INC_CI | cq->cqn);		doorbell[1] = cpu_to_be32(incr - 1);		mthca_write64(doorbell,			      dev->kar + MTHCA_CQ_DOORBELL,			      MTHCA_GET_DOORBELL_LOCK(&dev->doorbell_lock));	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/97f52eb438be7caebe026421545619d8a0c1398a/mthca_cq.c/buggy/drivers/infiniband/hw/mthca/mthca_cq.c