Re: [PATCH v3 10/19] sched: Fix migrate_disable() vs set_cpus_allowed_ptr()
From: Peter Zijlstra
Date: Tue Oct 20 2020 - 03:56:34 EST
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.