On Wed, 2011-03-09 at 11:19 +0100, Peter Zijlstra wrote: > No, the domain stuff is good, we allocate new domains and have a > synchronize_sched() between us installing the new ones and freeing the > old ones. Gah, if only..