floatx80_rounding_precision = 64; break; 
return 64; 
void SetRoundingPrecision(const unsigned int opcode){#ifdef CONFIG_FPE_NWFPE_XP	switch (opcode & MASK_ROUNDING_PRECISION) {	case ROUND_SINGLE:		floatx80_rounding_precision = 32;		break;	case ROUND_DOUBLE:		floatx80_rounding_precision = 64;		break;	case ROUND_EXTENDED:		floatx80_rounding_precision = 80;		break;	default:		floatx80_rounding_precision = 80;	}#endif}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f148af2593ef76ac705d1cc6abe48f455c9912cc/fpa11.c/buggy/arch/arm/nwfpe/fpa11.c