DVF_CODE           46 arch/arm/nwfpe/double_cpdo.c 	[DVF_CODE >> 20] = float64_div,
DVF_CODE           41 arch/arm/nwfpe/extended_cpdo.c 	[DVF_CODE >> 20] = floatx80_div,
DVF_CODE           42 arch/arm/nwfpe/single_cpdo.c 	[DVF_CODE >> 20] = float32_div,