Searched refs:arch_get_tsc_freq (Results 1 – 3 of 3) sorted by relevance
28 double arch_get_tsc_freq(void);
401 double arch_get_tsc_freq(void) in arch_get_tsc_freq() function439 result = arch_get_tsc_freq(); in expr__get_literal()
58 double arch_get_tsc_freq(void) in arch_get_tsc_freq() function