40 /* clock and ticks */
44     int64_t ticks = timers_state.cpu_ticks_offset;  in cpu_get_ticks_locked()  local
46         ticks += cpu_get_host_ticks();  in cpu_get_ticks_locked()
49     if (timers_state.cpu_ticks_prev > ticks) {  in cpu_get_ticks_locked()
50         /* Non increasing ticks may happen if the host uses software suspend. */  in cpu_get_ticks_locked()
51         timers_state.cpu_ticks_offset += timers_state.cpu_ticks_prev - ticks;  in cpu_get_ticks_locked()
52         ticks = timers_state.cpu_ticks_prev;  in cpu_get_ticks_locked()
55     timers_state.cpu_ticks_prev = ticks;  in cpu_get_ticks_locked()
56     return ticks;  in cpu_get_ticks_locked()
65     int64_t ticks;  in cpu_get_ticks()  local
68     ticks = cpu_get_ticks_locked();  in cpu_get_ticks()
70     return ticks;  in cpu_get_ticks()