> I'm guessing (haven't rechecked source) that the cpu_idle() call comes> about because the top level pgd of a process gets freed very late in> its exit, and after a great flurry of processes have just exited,> perhaps there was nothing to free up the accumulation. Though> it still strikes me as an odd place to do it.