Hi Frederic,
File: kernel/time/tick-sched.c Function: tick_nohz_full_stop_tick()
We are doing this:
if (!tick_nohz_full_cpu(cpu) || is_idle_task(current)) return;
Which means: if a FULL_NO_HZ cpu is running idle task currently, don't stop its tick..
I couldn't understand why. Can you please help here?
-- viresh