[PATCH 0/2] nohz: Move nohz kick out of scheduler IPI v2

[Frederic Weisbecker <fweisbec@gmail.com>]

Hi Paul,

Here's an updated version of the patches with your review addressed.
I ripped the function parameter and let it be setup on queued IPI object
initialization time so that people don't get confused and always use the
same function for a given queued object.

Please tell me if you find other issues.

Thanks.

Frederic Weisbecker (2):
  smp: Non busy-waiting IPI queue
  nohz: Move full nohz kick to its own IPI

 include/linux/smp.h      | 11 +++++++++++
 include/linux/tick.h     |  2 ++
 kernel/sched/core.c      |  5 +----
 kernel/sched/sched.h     |  2 +-
 kernel/smp.c             | 42 ++++++++++++++++++++++++++++++++++++++++++
 kernel/time/tick-sched.c | 21 +++++++++++++++++++++
 6 files changed, 78 insertions(+), 5 deletions(-)

-- 
1.8.3.1