RSF_CODE           45 arch/arm/nwfpe/double_cpdo.c 	[RSF_CODE >> 20] = float64_rsf,
RSF_CODE           40 arch/arm/nwfpe/extended_cpdo.c 	[RSF_CODE >> 20] = floatx80_rsf,
RSF_CODE           41 arch/arm/nwfpe/single_cpdo.c 	[RSF_CODE >> 20] = float32_rsf,