[patch 0/2] posix-timers: avoid nohz_full= IPIs via task cpu masks

[Marcelo Tosatti]

This patchset avoids IPIs to nohz_full= CPUs when the intersection 
between the set of nohz_full CPUs and task allowed cpus is null.

See individual patches for details.