Searched refs:tc_getfrequency (Results 1 - 3 of 3) sorted by relevance

/netbsd-current/sys/sys/
H A Dtimetc.h83 uint64_t tc_getfrequency(void);
/netbsd-current/sys/kern/
H A Dkern_time.c333 if (tc_getfrequency() > 1000000000)
336 ts->tv_nsec = 1000000000 / tc_getfrequency();
H A Dkern_tc.c868 tc_getfrequency(void) function

Completed in 297 milliseconds