On Tue, May 09 2023 at 15:13, Peter Zijlstra wrote: > On Mon, May 08, 2023 at 09:44:22PM +0200, Thomas Gleixner wrote: > > Do we really care about performance here; or should we pick the simpler > form? Also, 'lock' is a prefix, not an instruction. Right. KISS is the way to go.