timekeeping_max_deferment  728 kernel/time/tick-sched.c 	delta = timekeeping_max_deferment();
timekeeping_max_deferment   13 kernel/time/timekeeping.h extern u64 timekeeping_max_deferment(void);