Re: [PATCH v3 10/19] sched: Fix migrate_disable() vs set_cpus_allowed_ptr()

[Peter Zijlstra]

FYI Tao, I shared this with Valentin on IRC yesterday evening (we're
both in Europe):

  https://paste.debian.net/1167885/

I'll be going over it again this morning with a (hopefully) fresh(er) mind.