Searched refs:cpu_get_ticks (Results 1 – 4 of 4) sorted by relevance
43 int64_t cpu_get_ticks(void);
65 int64_t cpu_get_ticks(void);
111 int64_t cpu_get_ticks(void) in cpu_get_ticks() function174 timers_state.cpu_ticks_offset = cpu_get_ticks(); in cpu_disable_ticks()
124 return cpu_get_ticks(); in cpu_get_tsc()