Searched refs:cpu_get_ticks (Results 1 – 3 of 3) sorted by relevance
89 int64_t cpu_get_ticks(void);
64 int64_t cpu_get_ticks(void) in cpu_get_ticks() function
242 return cpu_get_ticks(); in cpus_get_elapsed_ticks()