RDF_CODE           47 arch/arm/nwfpe/double_cpdo.c 	[RDF_CODE >> 20] = float64_rdv,
RDF_CODE           42 arch/arm/nwfpe/extended_cpdo.c 	[RDF_CODE >> 20] = floatx80_rdv,
RDF_CODE           43 arch/arm/nwfpe/single_cpdo.c 	[RDF_CODE >> 20] = float32_rdv,