Searched refs:rr_next_kick_time (Results 1 – 1 of 1) sorted by relevance
65 static inline int64_t rr_next_kick_time(void) in rr_next_kick_time() function86 timer_mod(rr_kick_vcpu_timer, rr_next_kick_time()); in rr_kick_thread()97 timer_mod(rr_kick_vcpu_timer, rr_next_kick_time()); in rr_start_kick_timer()