ubuntu-linux-kernel/arch/arm/lib/setbit.o