From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753037AbcFVQLj (ORCPT ); Wed, 22 Jun 2016 12:11:39 -0400 Received: from mx1.redhat.com ([209.132.183.28]:49416 "EHLO mx1.redhat.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1752187AbcFVQLg (ORCPT ); Wed, 22 Jun 2016 12:11:36 -0400 Organization: Red Hat UK Ltd. Registered Address: Red Hat UK Ltd, Amberley Place, 107-111 Peascod Street, Windsor, Berkshire, SI4 1TE, United Kingdom. Registered in England and Wales under Company Registration No. 3798903 From: David Howells In-Reply-To: References: <5e5b99d7-c739-9743-b3e0-fbe0636d6dee@zytor.com> <40fd5f74-190e-b805-fbaa-f84899190fbc@zytor.com> <20160615085002.GC30935@twins.programming.kicks-ass.net> <4467.1466499980@warthog.procyon.org.uk> To: "H. Peter Anvin" Cc: dhowells@redhat.com, Peter Zijlstra , Linux Kernel Mailing List , linux-arch , Linus Torvalds , Ingo Molnar , Thomas Gleixner Subject: Re: cmpxchg and x86 flags output MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-ID: <16237.1466611893.1@warthog.procyon.org.uk> Date: Wed, 22 Jun 2016 17:11:34 +0100 Message-ID: <16238.1466611894@warthog.procyon.org.uk> X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.5.16 (mx1.redhat.com [10.5.110.30]); Wed, 22 Jun 2016 16:11:36 +0000 (UTC) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org H. Peter Anvin wrote: > The question for me is for things like lock patching that we do on x86... This might be pertinent to what you're asking: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70973 David