static inline void mthca_write_db_rec(u32 val[2], u32 *db)
static inline void mthca_write_db_rec(__be32 val[2], __be32 *db)
static inline void mthca_write_db_rec(u32 val[2], u32 *db){	db[0] = val[0];	wmb();	db[1] = val[1];}