ADF_CODE           42 arch/arm/nwfpe/double_cpdo.c 	[ADF_CODE >> 20] = float64_add,
ADF_CODE           37 arch/arm/nwfpe/extended_cpdo.c 	[ADF_CODE >> 20] = floatx80_add,
ADF_CODE           38 arch/arm/nwfpe/single_cpdo.c 	[ADF_CODE >> 20] = float32_add,