Hello! The header comment for for_each_domain() talks about a call to synchronize_sched() within detach_destroy_domains(), but I am not seeing any such call. Because synchronize_sched() is now folded into synchronize_rcu(), I have a patch that edits the comment, but it looks like a larger change is needed.
Or am I blind today?
Thanx, Paul
