On 22/09/2016 00:27, Emilio G. Cota wrote: > Another suggestion is to consistently access pending_cpus atomically, > since now we're accessing it with and without the CPU list mutex held.
Yeah, that's a bit of a pain in the ass, but it's a good idea. Paolo
