dividend_high     187 arch/powerpc/include/asm/time.h extern void div128_by_32(u64 dividend_high, u64 dividend_low,
dividend_high    1151 arch/powerpc/kernel/time.c void div128_by_32(u64 dividend_high, u64 dividend_low,
dividend_high    1158 arch/powerpc/kernel/time.c 	a = dividend_high >> 32;
dividend_high    1159 arch/powerpc/kernel/time.c 	b = dividend_high & 0xffffffff;