Searched refs:tt_extra_sched_jiffies (Results 1 – 4 of 4) 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()
86 extern unsigned long tt_extra_sched_jiffies;
43 tt_extra_sched_jiffies += 1; in handle_syscall()
544 extern unsigned long tt_extra_sched_jiffies;583 tt_extra_sched_jiffies += 1; in userspace()