Searched defs:tick_per_sec (Results 1 – 4 of 4) sorted by relevance
260 uint64_t tick_per_sec) in clock_gettimeofday_set_commpage()
405 …_set_commpage(uint64_t abstime, uint64_t sec, uint64_t frac, uint64_t scale, uint64_t tick_per_sec) in clock_gettimeofday_set_commpage()
285 uint64_t tick_per_sec) in commpage_set_timestamp()
740 uint64_t tick_per_sec) in commpage_set_timestamp()