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

["Paul E. McKenney" <paulmck@linux.vnet.ibm.com>]

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:

Reviewed-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>

> ---
>  kernel/time/tick-internal.h | 1 +
>  1 file changed, 1 insertion(+)
> 
> diff --git a/kernel/time/tick-internal.h b/kernel/time/tick-internal.h
> index 7ab92b1..6b592a8 100644
> --- a/kernel/time/tick-internal.h
> +++ b/kernel/time/tick-internal.h
> @@ -10,6 +10,7 @@ extern seqlock_t jiffies_lock;
> 
>  #ifdef CONFIG_GENERIC_CLOCKEVENTS_BUILD
> 
> +#define TICK_DO_TIMER_DEFAULT	0
>  #define TICK_DO_TIMER_NONE	-1
>  #define TICK_DO_TIMER_BOOT	-2
> 
> -- 
> 1.8.3.1
>