Searched refs:cpu_timer_init (Results 1 – 1 of 1) sorted by relevance
31 static inline void cpu_timer_init(u64 value) in cpu_timer_init() function234 cpu_timer_init(CPU_TIMER_MAX); in vtime_init()