MUF_CODE           43 arch/arm/nwfpe/double_cpdo.c 	[MUF_CODE >> 20] = float64_mul,
MUF_CODE           38 arch/arm/nwfpe/extended_cpdo.c 	[MUF_CODE >> 20] = floatx80_mul,
MUF_CODE           39 arch/arm/nwfpe/single_cpdo.c 	[MUF_CODE >> 20] = float32_mul,