get_sd_balance_interval 9124 kernel/sched/fair.c interval = get_sd_balance_interval(sd, 0); get_sd_balance_interval 9279 kernel/sched/fair.c interval = get_sd_balance_interval(sd, idle != CPU_IDLE); get_sd_balance_interval 9297 kernel/sched/fair.c interval = get_sd_balance_interval(sd, idle != CPU_IDLE);