Lines Matching refs:cpu_get_ticks
111 int64_t cpu_get_ticks(void)
159 /* enable cpu_get_ticks() */
169 /* disable cpu_get_ticks() : the clock is stopped. You must not call
170 cpu_get_ticks() after that. */
174 timers_state.cpu_ticks_offset = cpu_get_ticks();
