Searched refs:get_tsc_freq (Results 1 – 2 of 2) sorted by relevance
77 uint32_t get_tsc_freq(void);
1206 uint32_t get_tsc_freq( in get_tsc_freq() function1231 final_tsc += ((get_tsc_freq() * (nanoseconds)) / 1000); in delay_n()