doorbell[1] = 0xffffffff; 
doorbell[1] = (__force __be32) 0xffffffff; 
int mthca_tavor_arm_cq(struct ib_cq *cq, enum ib_cq_notify notify){	u32 doorbell[2];	doorbell[0] = cpu_to_be32((notify == IB_CQ_SOLICITED ?				   MTHCA_TAVOR_CQ_DB_REQ_NOT_SOL :				   MTHCA_TAVOR_CQ_DB_REQ_NOT)      |				  to_mcq(cq)->cqn);	doorbell[1] = 0xffffffff;	mthca_write64(doorbell,		      to_mdev(cq->device)->kar + MTHCA_CQ_DOORBELL,		      MTHCA_GET_DOORBELL_LOCK(&to_mdev(cq->device)->doorbell_lock));	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/97f52eb438be7caebe026421545619d8a0c1398a/mthca_cq.c/buggy/drivers/infiniband/hw/mthca/mthca_cq.c