u32 doorbell[2]; 
__be32 doorbell[2]; 
static inline void tavor_set_eq_ci(struct mthca_dev *dev, struct mthca_eq *eq, u32 ci){	u32 doorbell[2];	doorbell[0] = cpu_to_be32(MTHCA_EQ_DB_SET_CI | eq->eqn);	doorbell[1] = cpu_to_be32(ci & (eq->nent - 1));	/*	 * This barrier makes sure that all updates to ownership bits	 * done by set_eqe_hw() hit memory before the consumer index	 * is updated.  set_eq_ci() allows the HCA to possibly write	 * more EQ entries, and we want to avoid the exceedingly	 * unlikely possibility of the HCA writing an entry and then	 * having set_eqe_hw() overwrite the owner field.	 */	wmb();	mthca_write64(doorbell,		      dev->kar + MTHCA_EQ_DOORBELL,		      MTHCA_GET_DOORBELL_LOCK(&dev->doorbell_lock));}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/97f52eb438be7caebe026421545619d8a0c1398a/mthca_eq.c/buggy/drivers/infiniband/hw/mthca/mthca_eq.c