On 06/27/2014 01:13 PM, Paul E. McKenney wrote:> Yikes! tick_nohz_full_mask is allocated not in one place, but two!> > Does the following patch help?Yup, thanks Paul!Thanks,Sasha