Searched refs:div128_by_32 (Results 1 – 2 of 2) sorted by relevance
97 extern void div128_by_32(u64 dividend_high, u64 dividend_low,
914 div128_by_32(1000000000, 0, tb_ticks_per_sec, &res); in time_init()956 void div128_by_32(u64 dividend_high, u64 dividend_low, in div128_by_32() function