[patch 3/3] nohz: tick_nohz_kick_task: only IPI if remote task is running

If the task is not running, run_posix_cpu_timers has nothing to elapsed, so spare IPI in that case. Suggested-by: Peter Zijlstra Signed-off-by: Marcelo Tosatti Index: linux-2.6/kernel/sched/core.c === --- linux-2.6.orig/kernel/sche

[patch 3/3] nohz: tick_nohz_kick_task: only IPI if remote task is running

If the task is not running, run_posix_cpu_timers has nothing to elapsed, so spare IPI in that case. Suggested-by: Peter Zijlstra Signed-off-by: Marcelo Tosatti Index: linux-2.6/kernel/sched/core.c === --- linux-2.6.orig/kernel/sche