Searched refs:tt_extra_sched_jiffies (Results 1 – 2 of 2) sorted by relevance
52 unsigned long tt_extra_sched_jiffies; variable57 tt_extra_sched_jiffies) in sched_clock()459 if (tt_extra_sched_jiffies > 0) in time_travel_periodic_timer()460 tt_extra_sched_jiffies -= 1; in time_travel_periodic_timer()614 if (tt_extra_sched_jiffies > 0) in time_travel_oneshot_timer()615 tt_extra_sched_jiffies -= 1; in time_travel_oneshot_timer()
402 extern unsigned long tt_extra_sched_jiffies;430 tt_extra_sched_jiffies += 1; in userspace()