div128_by_32      187 arch/powerpc/include/asm/time.h extern void div128_by_32(u64 dividend_high, u64 dividend_low,
div128_by_32      167 arch/powerpc/kernel/time.c 	div128_by_32(1000000, 0, tb_ticks_per_sec, &res);
div128_by_32     1107 arch/powerpc/kernel/time.c 	div128_by_32(1000000000, 0, tb_ticks_per_sec, &res);