static inline void storeDouble(const unsigned int Fn, unsigned int __user *pMem) 
static inline void storeDouble(struct roundingData *roundData, const unsigned int Fn, unsigned int __user *pMem) 
static inline void storeDouble(const unsigned int Fn, unsigned int __user *pMem){	FPA11 *fpa11 = GET_FPA11();	union {		float64 f;		unsigned int i[2];	} val;	switch (fpa11->fType[Fn]) {	case typeSingle:		val.f = float32_to_float64(fpa11->fpreg[Fn].fSingle);		break;#ifdef CONFIG_FPE_NWFPE_XP	case typeExtended:		val.f = floatx80_to_float64(fpa11->fpreg[Fn].fExtended);		break;#endif	default:		val.f = fpa11->fpreg[Fn].fDouble;	}#ifdef __ARMEB__	put_user(val.i[0], &pMem[0]);	/* msw */	put_user(val.i[1], &pMem[1]);	/* lsw */#else	put_user(val.i[1], &pMem[0]);	/* msw */	put_user(val.i[0], &pMem[1]);	/* lsw */#endif}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f148af2593ef76ac705d1cc6abe48f455c9912cc/fpa11_cpdt.c/buggy/arch/arm/nwfpe/fpa11_cpdt.c