From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from bombadil.infradead.org (bombadil.infradead.org [198.137.202.133]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.lore.kernel.org (Postfix) with ESMTPS id AEC80C10F1A for ; Tue, 7 May 2024 10:24:44 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lists.infradead.org; s=bombadil.20210309; h=Sender: Content-Transfer-Encoding:Content-Type:List-Subscribe:List-Help:List-Post: List-Archive:List-Unsubscribe:List-Id:MIME-Version:Message-ID:Date:References :In-Reply-To:Subject:Cc:To:From:Reply-To:Content-ID:Content-Description: Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID: List-Owner; bh=+fkn0ls0rccSZ6li5TJ0rHlJr8baK6Ql5RrIzvoXf6g=; b=d8JQjAFiVbAsOc 4/m8KqoDEqy9I8O2Mx5Xl1WMgeYmvGIoIhJUYNE9ClvAfJbqc4V3ffzlD34IlD6/smH7wNFNGbBQO lgdfNRlcE+kzuMOXIQzAtBIjNtLX7OdZ5xVyoOZtoz3INU3XOloa11InLxypce9rKmIV6fQoIlamm VPAKXI6ZQAm1gPPsj5LYfl7QpnbkNd7rkhi5BJlGT4wSlOsr3+riJEAEwTJTK01LM31NXqf6fFjqL Sk7Bc48J1Q8d2XTmRknjk8C6JundLH/dOTPmcRuYgQECgfL+B+xIRSFAjlx3OJUeujK6/oZ2vRC/Y rmXvjVTMFGRR5KKM2OUQ==; Received: from localhost ([::1] helo=bombadil.infradead.org) by bombadil.infradead.org with esmtp (Exim 4.97.1 #2 (Red Hat Linux)) id 1s4Hzo-0000000AWBY-1Mfn; Tue, 07 May 2024 10:24:28 +0000 Received: from mail-wm1-x335.google.com ([2a00:1450:4864:20::335]) by bombadil.infradead.org with esmtps (Exim 4.97.1 #2 (Red Hat Linux)) id 1s4Hzl-0000000AWAg-0sMi for linux-arm-kernel@lists.infradead.org; Tue, 07 May 2024 10:24:26 +0000 Received: by mail-wm1-x335.google.com with SMTP id 5b1f17b1804b1-41b794510cdso24032215e9.2 for ; Tue, 07 May 2024 03:24:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; t=1715077461; x=1715682261; darn=lists.infradead.org; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:from:to:cc:subject:date:message-id :reply-to; bh=4YZbBZ6dudLkSPwyvQd1bbhClktoit8Kjm89gQzGu+Q=; b=LBWvp9l5XUTZKGj4/8Vqt+C+x5pps4JnYodS5pFvTqUqZeb01UFz8z/fhfzP9t6Es3 rrzOKNRLkz280/88VcmwVh9ZwRV84eIK/xNhLKzoLd+zaDshRHAa9aQ/sg3H5ie7fFjk ycT9f+HgvXWnAvYcim17sqjBk1rcGhqMYlmGd0plFw2pTT6+3N7BgxnW154o7BvSpiWP S8qEOBseQp8cAlMNX5z/5Zw2kqzVWS+dmYtm7b3sWZlnUadv2ry3513jjAz1kisJ+UM4 8NOZqOA/pUvX4Q8UxbYDUYXinpCIunSPHlk9ydBX57TZ5IwNGT3mdmRs3t4k5woPti2m EhGw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1715077461; x=1715682261; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=4YZbBZ6dudLkSPwyvQd1bbhClktoit8Kjm89gQzGu+Q=; b=Qgmn/yDw02nxyt0rbb8yohxrPanLUIPbRy/USDdwHNNM8iQcJjIbiY725tnEYNg9r6 x9uQ6Nqjke8Vo7C/TWyYSMbCnm0RTr85LrRsZOGFuuXy6DuWB30MGb7h11B297pSNrxd QT8beVg+qngEMKnfOyP7VWoLam7nUuCdTUocs0XQQQJ64+/UhvUpxYFARuBqxxm57h8j 6jXyea3K/Zqn5R0MRXo7zaAlrPhkRIFHmOUfcvahpkCq/OmSAa7KfHXMiTIsyGapmzRu oJwUyxGknfpjQP45JLd3warzhCH9iSmNpKpff7yCUTpqr88IxgLGQe+Ir8E/FPlReFi+ HP7A== X-Forwarded-Encrypted: i=1; AJvYcCXarz9+0Y2AAsSU1/Mlj0p55+TQptaBT+8SXnHbrd07GeAX9T338s8RzzYFPR4Qt7xDfb1MuJnZyEuOorAR8a8I/8RIiT3b3S4+dEspCTF2hy8WkBo= X-Gm-Message-State: AOJu0Yyf7vfkPalE3ny1S1dEGsmh4Kzh2pOEmk4Cn1DqJ8xtXTPoqY3F /365W74YlOvnFQ1cgUB28ErClT860bD0Jwhwn03EsjQojZHwAUzzZW2TuFNK+1c= X-Google-Smtp-Source: AGHT+IGBnROswMr6fiz4/nCludnMfVTnbGRYLGjJVGEbGLobnst3vIfHHqoUXu/8DrmIadb42FmShQ== X-Received: by 2002:a05:600c:3b29:b0:41b:8206:2c3e with SMTP id m41-20020a05600c3b2900b0041b82062c3emr8788581wms.40.1715077461332; Tue, 07 May 2024 03:24:21 -0700 (PDT) Received: from draig.lan ([85.9.250.243]) by smtp.gmail.com with ESMTPSA id fm9-20020a05600c0c0900b0041c23148330sm22850929wmb.10.2024.05.07.03.24.19 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 07 May 2024 03:24:19 -0700 (PDT) Received: from draig (localhost [IPv6:::1]) by draig.lan (Postfix) with ESMTP id 6C67E5F87D; Tue, 7 May 2024 11:24:18 +0100 (BST) From: =?utf-8?Q?Alex_Benn=C3=A9e?= To: Will Deacon Cc: Hector Martin , Catalin Marinas , Marc Zyngier , Mark Rutland , Zayd Qumsieh , Justin Lu , Ryan Houdek , Mark Brown , Ard Biesheuvel , Mateusz Guzik , Anshuman Khandual , Oliver Upton , Miguel Luis , Joey Gouly , Christoph Paasch , Kees Cook , Sami Tolvanen , Baoquan He , Joel Granados , Dawei Li , Andrew Morton , Florent Revest , David Hildenbrand , Stefan Roesch , Andy Chiu , Josh Triplett , Oleg Nesterov , Helge Deller , Zev Weiss , Ondrej Mosnacek , Miguel Ojeda , linux-arm-kernel@lists.infradead.org, linux-kernel@vger.kernel.org, Asahi Linux Subject: Re: [PATCH 0/4] arm64: Support the TSO memory model In-Reply-To: <20240411132853.GA26481@willie-the-truck> (Will Deacon's message of "Thu, 11 Apr 2024 14:28:54 +0100") References: <20240411-tso-v1-0-754f11abfbff@marcan.st> <20240411132853.GA26481@willie-the-truck> Date: Tue, 07 May 2024 11:24:18 +0100 Message-ID: <87seythqct.fsf@draig.linaro.org> MIME-Version: 1.0 X-CRM114-Version: 20100106-BlameMichelson ( TRE 0.8.0 (BSD) ) MR-646709E3 X-CRM114-CacheID: sfid-20240507_032425_282222_95194632 X-CRM114-Status: GOOD ( 27.70 ) X-BeenThere: linux-arm-kernel@lists.infradead.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Sender: "linux-arm-kernel" Errors-To: linux-arm-kernel-bounces+linux-arm-kernel=archiver.kernel.org@lists.infradead.org V2lsbCBEZWFjb24gPHdpbGxAa2VybmVsLm9yZz4gd3JpdGVzOgoKPiBIaSBIZWN0b3IsCj4KPiBP biBUaHUsIEFwciAxMSwgMjAyNCBhdCAwOTo1MToxOUFNICswOTAwLCBIZWN0b3IgTWFydGluIHdy b3RlOgo+PiB4ODYgQ1BVcyBpbXBsZW1lbnQgYSBzdHJpY3RlciBtZW1vcnkgbW9kZXJuIHRoYW4g QVJNNjQgKFRTTykuIEZvciB0aGlzCj4+IHJlYXNvbiwgeDg2IGVtdWxhdGlvbiBvbiBiYXNlbGlu ZSBBUk02NCBzeXN0ZW1zIHJlcXVpcmVzIHZlcnkgZXhwZW5zaXZlCj4+IG1lbW9yeSBtb2RlbCBl bXVsYXRpb24uIEhhdmluZyBoYXJkd2FyZSB0aGF0IHN1cHBvcnRzIHRoaXMgbmF0aXZlbHkgaXMK Pj4gdGhlcmVmb3JlIHZlcnkgYXR0cmFjdGl2ZS4gU3VjaCBoYXJkd2FyZSwgaW4gZmFjdCwgZXhp c3RzLiBUaGlzIHNlcmllcwo+PiBhZGRzIHN1cHBvcnQgZm9yIHVzZXJzcGFjZSB0byBpZGVudGlm eSB3aGVuIFRTTyBpcyBhdmFpbGFibGUgYW5kCj4+IHRvZ2dsZSBpdCBvbiwgaWYgc3VwcG9ydGVk Lgo+Cj4gSSdtIHByb2JhYmx5IGdvaW5nIHRvIG1ha2UgbXlzZWxmIGh1Z2VseSB1bnBvcHVsYXIg aGVyZSwgYnV0IEkgaGF2ZSBhCj4gc3Ryb25nIG9iamVjdGlvbiB0byB0aGlzIHBhdGNoIHNlcmll cyBhcyBpdCBzdGFuZHMuIEkgZmlybWx5IGJlbGlldmUKPiB0aGF0IHByb3ZpZGluZyBhIHByY3Rs KCkgdG8gcXVlcnkgYW5kIHRvZ2dsZSB0aGUgbWVtb3J5IG1vZGVsIHRvL2Zyb20KPiBUU08gaXMg Z29pbmcgdG8gbGVhZCB0byBzdWJ0bGUgZnJhZ21lbnRhdGlvbiBvZiBhcm02NCBMaW51eCB1c2Vy c3BhY2UuCj4KPiBJdCdzIG5vdCBkaWZmaWN1bHQgdG8gZW52aXNhZ2UgdGhpcyBUU08gc3dpdGNo IGJlaW5nIGFidXNlZCBmb3IgbmF0aXZlCj4gYXJtNjQgYXBwbGljYXRpb25zOgo+Cj4gICAqIEEg cHJvZ3JhbSBubyBsb25nZXIgY3Jhc2hlcyB3aGVuIFRTTyBpcyBlbmFibGVkLCBzbyB0aGUgZGV2 ZWxvcGVyCj4gICAgIGp1c3QgdG9nZ2xlcyBUU08gdG8gbWVldCBhIGRlYWRsaW5lLgo+Cj4gICAq IFNvbWUgbGVnYWN5IHg4NiBzb3VyY2VzIGFyZSBiZWluZyBwb3J0ZWQgdG8gYXJtNjQgYnV0IGNv bmN1cnJlbmN5Cj4gICAgIGlzIGhhcmQgc28gdGhlIGRldmVsb3BlciBqdXN0IGVuYWJsZXMgVFNP IHRvIChtb3N0bHkpIGF2b2lkIHRoaW5raW5nCj4gICAgIGFib3V0IGl0Lgo+Cj4gICAqIFNvbWUg YmluYXJpZXMgaW4gYSBkaXN0cmlidXRpb24gZXhoaWJpdCBpbnN0YWJpbGl0eSB3aGljaCBnb2Vz IGF3YXkKPiAgICAgaW4gVFNPIG1vZGUsIHNvIGEgdGFza3NldC1saWtlIHByb2dyYW0gaXMgdXNl ZCB0byBydW4gdGhlbSB3aXRoIFRTTwo+ICAgICBlbmFibGVkLgoKVGhlc2UgYWxsIGp1c3Qgc2Vl bSBsaWtlIGNhc2VzIG9mIGVuZ2luZWVycyBoaWRpbmcgZnJvbSB0aGVpciB2ZXJ5IHJlYWwKcHJv YmxlbXMuIEkgZG9uJ3Qga25vdyBpZiBpdHMgcmVhbGx5IHRoZSBrZXJuZWxzIHBsYWNlIHRvIGF2 b2lkIGdpdmluZwp0aGVtIHRoZSBmb290IGd1bi4gV291bGQgaXQgYXNzdWFnZSB5b3VyIGNvbmNl cm5zIGF0IGFsbCBpZiB3ZSBzZXQgYQp0YWludCBmbGFnIHNvIGJ1ZyByZXBvcnRzL2NvcmUgZHVt cHMgaW5kaWNhdGVkIHdlIHdlcmUgaW4gYQpub24tYXJjaGl0ZWN0dXJhbCBtZW1vcnkgbW9kZT8K Cj4gSW4gYWxsIHRoZXNlIGNhc2VzLCB3ZSBlbmQgdXAgd2l0aCBuYXRpdmUgYXJtNjQgYXBwbGlj YXRpb25zIHRoYXQgd2lsbAo+IGVpdGhlciBmYWlsIHRvIGxvYWQgb3Igd2lsbCBjcmFzaCBpbiBz dWJ0bGUgd2F5cyBvbiBDUFVzIHdpdGhvdXQgdGhlIFRTTwo+IGZlYXR1cmUuIEFzc3VtaW5nIHRo YXQgdGhlIGFwcGxpY2F0aW9uIGNhbm5vdCBiZSBmaXhlZCwgYSBiZXR0ZXIKPiBhcHByb2FjaCB3 b3VsZCBiZSB0byByZWNvbXBpbGUgdXNpbmcgc3Ryb25nZXIgaW5zdHJ1Y3Rpb25zIChlLmcuCj4g TERBUi9TVExSKSBzbyB0aGF0IGF0IGxlYXN0IHRoZSByZXN1bHRpbmcgYmluYXJ5IGlzIHBvcnRh YmxlLiBOb3csIGl0J3MKPiB0cnVlIHRoYXQgc29tZSBleGlzdGluZyBDUFVzIGFyZSBUU08gYnkg ZGVzaWduICh0aGlzIGlzIGEgcGVyZmVjdGx5Cj4gdmFsaWQgaW1wbGVtZW50YXRpb24gb2YgdGhl IGFybTY0IG1lbW9yeSBtb2RlbCksIGJ1dCBJIHRoaW5rIHRoZXJlJ3MgYQo+IGJpZyBkaWZmZXJl bmNlIGJldHdlZW4gcXVpZXRseSBwcm92aWRpbmcgbW9yZSBvcmRlcmluZyBndWFyYW50ZWVzIHRo YW4KPiBzb2Z0d2FyZSBtYXkgYmUgcmVseWluZyBvbiBhbmQgcHJvdmlkaW5nIGEgbWVjaGFuaXNt IHRvIGRpc2NvdmVyLAo+IHJlcXVlc3QgYW5kIHVsdGltYXRlbHkgcmVseSB1cG9uIHRoZSBzdHJv bmdlciBiZWhhdmlvdXIuCgpJIHRoaW5rIHRoZSBtYWluIHVzZSBjYXNlIGhlcmUgaXMgZm9yIGVt dWxhdGlvbi4gV2hlbiB3ZSBydW4geDg2LW9uLWFybQppbiBRRU1VIHdlIGRvIGN1cnJlbnRseSBp bnNlcnQgbG90cyBvZiBleHRyYSBiYXJyaWVyIGluc3RydWN0aW9ucyBvbgpldmVyeSBsb2FkIGFu ZCBzdG9yZS4gSWYgd2UgY2FuIHByb2JlIGFuZCBzZXQgYSBUU08gbW9kZSBJIGNhbiBhc3N1cmUK eW91IHdlJ2xsIGRvIHRoZSByaWdodCB0aGluZyA7LSkKCi0tIApBbGV4IEJlbm7DqWUKVmlydHVh bGlzYXRpb24gVGVjaCBMZWFkIEAgTGluYXJvCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fXwpsaW51eC1hcm0ta2VybmVsIG1haWxpbmcgbGlzdApsaW51eC1h cm0ta2VybmVsQGxpc3RzLmluZnJhZGVhZC5vcmcKaHR0cDovL2xpc3RzLmluZnJhZGVhZC5vcmcv bWFpbG1hbi9saXN0aW5mby9saW51eC1hcm0ta2VybmVsCg==