Re: [PATCH 06/10] nohz: Define meaningful symbol for nohz full timekeeper

[Frederic Weisbecker <fweisbec@gmail.com>]

On Mon, Jul 21, 2014 at 11:12:55AM -0700, Paul E. McKenney wrote:
> On Sat, Jul 19, 2014 at 02:44:17AM +0200, Frederic Weisbecker wrote:
> > The nohz full timekeeper is always CPU 0. Lets add it to the list of
> > special tick_do_timer_cpu symbols for more self explanatory code.
> > 
> > Cc: Ingo Molnar <mingo@kernel.org>
> > Cc: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
> > Cc: Peter Zijlstra <peterz@infradead.org>
> > Cc: Steven Rostedt <rostedt@goodmis.org>
> > Cc: Thomas Gleixner <tglx@linutronix.de>
> > Cc: Viresh Kumar <viresh.kumar@linaro.org>
> > Signed-off-by: Frederic Weisbecker <fweisbec@gmail.com>
> 
> Sounds like Nicolas Pitre would like to be able to specify the default,
> perhaps at build time, but aside from that requested enhancement:

Ok. That's outside the scope of this patchset though as it doesn't change much things
in this regard: CPU 0 has been the timekeeper since the early days of nohz full.
And we still need a default timekeeper in any case, whether we can override it or not
in the future. So we still need that patch.

Then if big.LITTLE people are really interested in nohz full, we can still enhance
that in the future.

Thanks!