ubuntu-linux-kernel/arch/arm/nwfpe/double_cpdo.o