Symbol: update_max_interval
kernel/sched/core.c
8765
update_max_interval();
kernel/sched/core.c
8853
update_max_interval();
kernel/sched/sched.h
2952
extern void update_max_interval(void);