update_max_interval 6459 kernel/sched/core.c 	update_max_interval();
update_max_interval 6489 kernel/sched/core.c 	update_max_interval();
update_max_interval 1869 kernel/sched/sched.h extern void update_max_interval(void);