Re: x86_64 Question: Are concurrent IPI requests safe?

From: Peter Zijlstra
Date: Wed May 11 2016 - 09:39:39 EST


On Wed, May 11, 2016 at 10:19:16PM +0900, Tetsuo Handa wrote:
> [ 180.434659] Hardware name: VMware, Inc. VMware Virtual Platform/440BX Desktop Reference Platform, BIOS 6.00 07/31/2013

can you reproduce on real hardware?