On Mon, Nov 2, 2020 at 4:30 AM Mathieu Desnoyers <mathieu.desnoyers@xxxxxxxxxxxx> wrote: > > ----- On Nov 1, 2020, at 3:04 PM, Alejandro Colomar colomar.6.4.3@xxxxxxxxx wrote: > > > The Linux kernel now uses 'flags' and added a new argument: 'cpu_id'. > > These changes were introduced to the kernel > > in commit 2a36ab717e8fe678d98f81c14a0b124712719840. > [...] > Peter (Oskolkov), can you contribute a patch detailing the new membarrier flags and cpu_id > arguments to the man pages project ? Yes, sure, I'll prepare a patch in the next day or two. Thanks, Peter [...]