make_clock_result 7412 process.c return make_clock_result(&tt, numerators, num_numerators, denominators, num_denominators, unit); make_clock_result 7553 process.c return make_clock_result(&tt, numerators, num_numerators, denominators, num_denominators, unit);