Searched defs:tick_per_sec (Results 1 – 4 of 4) sorted by relevance
308 uint64_t tick_per_sec) in clock_gettimeofday_set_commpage()
404 …_set_commpage(uint64_t abstime, uint64_t sec, uint64_t frac, uint64_t scale, uint64_t tick_per_sec) in clock_gettimeofday_set_commpage()
333 uint64_t tick_per_sec) in commpage_set_timestamp()
778 uint64_t tick_per_sec) in commpage_set_timestamp()