Searched refs:cpu_tick_get_count (Results 1 – 3 of 3) sorted by relevance
67 return cpu_tick_get_count(timer); in helper_tick_get_count()
731 uint64_t cpu_tick_get_count(CPUTimer *timer);
213 uint64_t cpu_tick_get_count(CPUTimer *timer) in cpu_tick_get_count() function