original_kernel/include/asm-powerpc/div64.h