static floatx80 floatx80_rdv(floatx80 rFn, floatx80 rFm) 
static floatx80 floatx80_rdv(struct roundingData *roundData, floatx80 rFn, floatx80 rFm) 
static floatx80 floatx80_rdv(floatx80 rFn, floatx80 rFm){	return floatx80_div(rFm, rFn);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f148af2593ef76ac705d1cc6abe48f455c9912cc/extended_cpdo.c/buggy/arch/arm/nwfpe/extended_cpdo.c