static inline void mthca_write64(u32 val[2], void __iomem *dest, 
static inline void mthca_write64(__be32 val[2], void __iomem *dest, 
static inline void mthca_write64(u32 val[2], void __iomem *dest,				 spinlock_t *doorbell_lock){	unsigned long flags;	spin_lock_irqsave(doorbell_lock, flags);	__raw_writel(val[0], dest);	__raw_writel(val[1], dest + 4);	spin_unlock_irqrestore(doorbell_lock, flags);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/97f52eb438be7caebe026421545619d8a0c1398a/mthca_doorbell.h/clean/drivers/infiniband/hw/mthca/mthca_doorbell.h