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 3DB04C4332F for ; Tue, 22 Nov 2022 19:09:46 +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-Type: Content-Transfer-Encoding:List-Subscribe:List-Help:List-Post:List-Archive: List-Unsubscribe:List-Id:In-Reply-To:From:References:Cc:To:Subject: MIME-Version:Date:Message-ID:Reply-To:Content-ID:Content-Description: Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID: List-Owner; bh=1pR7hqw9IL33J+NTikTb9KSBYvRO47m9rfs/HdEdzxE=; b=RtQutd97p6KTlF u7ft4KHbXRFtPf4Lek7umOsTdVSUuf31+/pG8SelNi6bL4+PR1IjUUQjTk4rSEcmLgoeWjcZxwQHn pN3m7HvUX1gJjhsHdEIGgpuq5hDIIUdclpS1RNdHMCSyG01btdunN+2mdNPrkpFERlwDqprW175gf 9sGTolPLTcnE2IVPRpwdr1YGz8UQ6A7lewwhAxFVKH44VIV8NeBfwbqUrT1gpvICfqVSgN5dOmxD9 tGF9tW56B+JJFb8RBcJsLdu6M6LC72W4+2ORqlnduN/uT7GqLClfJn5ukoPPVNHx6BxEezpYz0a24 98SFWrKl7zdncDZCeF/g==; Received: from localhost ([::1] helo=bombadil.infradead.org) by bombadil.infradead.org with esmtp (Exim 4.94.2 #2 (Red Hat Linux)) id 1oxYdO-00BVI3-LY; Tue, 22 Nov 2022 19:08:42 +0000 Received: from foss.arm.com ([217.140.110.172]) by bombadil.infradead.org with esmtp (Exim 4.94.2 #2 (Red Hat Linux)) id 1oxYdK-00BVFd-KQ for linux-arm-kernel@lists.infradead.org; Tue, 22 Nov 2022 19:08:40 +0000 Received: from usa-sjc-imap-foss1.foss.arm.com (unknown [10.121.207.14]) by usa-sjc-mx-foss1.foss.arm.com (Postfix) with ESMTP id 7B5D91FB; Tue, 22 Nov 2022 11:08:38 -0800 (PST) Received: from [10.57.71.118] (unknown [10.57.71.118]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id 9865B3F73B; Tue, 22 Nov 2022 11:08:30 -0800 (PST) Message-ID: Date: Tue, 22 Nov 2022 19:08:23 +0000 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Windows NT 10.0; rv:102.0) Gecko/20100101 Thunderbird/102.5.0 Subject: Re: [PATCH] arm64/mm: Drop redundant BUG_ON(!pgtable_alloc) Content-Language: en-GB To: Anshuman Khandual , Mark Rutland Cc: Nathan Chancellor , linux-arm-kernel@lists.infradead.org, Catalin Marinas , Will Deacon , Andrew Morton , linux-kernel@vger.kernel.org, llvm@lists.linux.dev References: <20221118053102.500216-1-anshuman.khandual@arm.com> <5b69ff03-1694-bae6-3312-a63273be4073@arm.com> <05b6ea24-1135-bcaf-a24e-c0bcbf14101e@arm.com> From: Robin Murphy In-Reply-To: <05b6ea24-1135-bcaf-a24e-c0bcbf14101e@arm.com> X-CRM114-Version: 20100106-BlameMichelson ( TRE 0.8.0 (BSD) ) MR-646709E3 X-CRM114-CacheID: sfid-20221122_110838_796805_BF511E14 X-CRM114-Status: GOOD ( 25.94 ) 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-Transfer-Encoding: base64 Content-Type: text/plain; charset="utf-8"; Format="flowed" Sender: "linux-arm-kernel" Errors-To: linux-arm-kernel-bounces+linux-arm-kernel=archiver.kernel.org@lists.infradead.org T24gMjAyMi0xMS0yMiAwMzoxMywgQW5zaHVtYW4gS2hhbmR1YWwgd3JvdGU6Cj4gCj4gCj4gT24g MTEvMjEvMjIgMTk6MjYsIFJvYmluIE11cnBoeSB3cm90ZToKPj4gT24gMjAyMi0xMS0yMSAxMjoy NywgTWFyayBSdXRsYW5kIHdyb3RlOgo+Pj4gT24gTW9uLCBOb3YgMjEsIDIwMjIgYXQgMTE6MDA6 NDJBTSArMDUzMCwgQW5zaHVtYW4gS2hhbmR1YWwgd3JvdGU6Cj4+Pj4gSGVsbG8gTmF0aGFuLAo+ Pj4+Cj4+Pj4gVGhhbmtzIGZvciB0aGUgcmVwb3J0Lgo+Pj4+Cj4+Pj4gT24gMTEvMjAvMjIgMjE6 NDYsIE5hdGhhbiBDaGFuY2VsbG9yIHdyb3RlOgo+Pj4+PiBIaSBBbnNodW1hbiwKPj4+Cj4+Pj4+ IEkganVzdCBiaXNlY3RlZCBhIGJvb3QgZmFpbHVyZSBpbiBvdXIgUUVNVS1iYXNlZCBjb250aW51 b3VzIGludGVncmF0aW9uCj4+Pj4+IHNldHVwIHRvIHRoaXMgY2hhbmdlIGFzIGNvbW1pdCA5ZWQy YjQ2MTZkNGUgKCJhcm02NC9tbTogRHJvcCByZWR1bmRhbnQKPj4+Pj4gQlVHX09OKCFwZ3RhYmxl X2FsbG9jKSIpIGluIHRoZSBhcm02NCB0cmVlLiBUaGVyZSBpcyBubyBvdXRwdXQgc28gdGhlCj4+ Pj4+IHBhbmljIGNsZWFybHkgaGFwcGVucyBlYXJseSBhdCBib290LiBJZiBJIG1vdmUgYmFjayB0 byB0aGUgcHJldmlvdXMKPj4+Pj4gY29tbWl0IGFuZCBhZGQgYSBXQVJOX09OKCkgbGlrZSBzbzoK Pj4+Pj4KPj4+Pj4gZGlmZiAtLWdpdCBhL2FyY2gvYXJtNjQvbW0vbW11LmMgYi9hcmNoL2FybTY0 L21tL21tdS5jCj4+Pj4+IGluZGV4IGQzODYwMzNhMDc0Yy4uOTI4MGE5MmZmOTIwIDEwMDY0NAo+ Pj4+PiAtLS0gYS9hcmNoL2FybTY0L21tL21tdS5jCj4+Pj4+ICsrKyBiL2FyY2gvYXJtNjQvbW0v bW11LmMKPj4+Pj4gQEAgLTM4Myw2ICszODMsNyBAQCBzdGF0aWMgdm9pZCBfX2NyZWF0ZV9wZ2Rf bWFwcGluZ19sb2NrZWQocGdkX3QgKnBnZGlyLCBwaHlzX2FkZHJfdCBwaHlzLAo+Pj4+PiAgwqDC oMKgwqDCoCBwaHlzICY9IFBBR0VfTUFTSzsKPj4+Pj4gIMKgwqDCoMKgwqAgYWRkciA9IHZpcnQg JiBQQUdFX01BU0s7Cj4+Pj4+ICDCoMKgwqDCoMKgIGVuZCA9IFBBR0VfQUxJR04odmlydCArIHNp emUpOwo+Pj4+PiArwqDCoMKgIFdBUk5fT04oIXBndGFibGVfYWxsb2MpOwo+Pj4+PiAgwqAgwqDC oMKgwqDCoCBkbyB7Cj4+Pj4+ICDCoMKgwqDCoMKgwqDCoMKgwqAgbmV4dCA9IHBnZF9hZGRyX2Vu ZChhZGRyLCBlbmQpOwo+Pj4+Pgo+Pj4+PiBJIGRvIHNlZSBzb21lIHN0YWNrdHJhY2VzLiBJIGhh dmUgYXR0YWNoZWQgdGhlIGJvb3QgbG9nIGZyb20gUUVNVS4KPj4+Pj4KPj4+Pj4gSWYgdGhlcmUg aXMgYW55IGFkZGl0aW9uYWwgaW5mb3JtYXRpb24gSSBjYW4gcHJvdmlkZSBvciBwYXRjaGVzIEkg Y2FuCj4+Pj4+IHRlc3QsIEkgYW0gbW9yZSB0aGFuIGhhcHB5IHRvIGRvIHNvLgo+Pj4+Cj4+Pj4g VGhlcmUgYXJlIGNvdXBsZSBvZiBpbnN0YW5jZXMsIHdoZXJlIF9fY3JlYXRlX3BnZF9tYXBwaW5n KCkgZnVuY3Rpb24gZ2V0cyBjYWxsZWQKPj4+PiB3aXRob3V0IGEgdmFsaWQgcGd0YWJsZSBhbGxv YyBmdW5jdGlvbiAoTlVMTCBpcyBwYXNzZWQgb24gaW5zdGVhZCksIGFzIGl0IGlzIG5vdAo+Pj4+ IGV4cGVjdGVkIHRvIGFsbG9jYXRlIHBhZ2UgdGFibGUgcGFnZXMsIGR1cmluZyB0aGUgbWFwcGlu ZyBwcm9jZXNzLiBUaGUgZm9sbG93aW5nCj4+Pj4gY2hhbmdlIGFmdGVyIHRoaXMgcGF0Y2ggc2hv dWxkIHNvbHZlIHRoZSByZXBvcnRlZCBwcm9ibGVtLgo+Pj4+Cj4+Pj4gZGlmZiAtLWdpdCBhL2Fy Y2gvYXJtNjQvbW0vbW11LmMgYi9hcmNoL2FybTY0L21tL21tdS5jCj4+Pj4gaW5kZXggOWVhOGU5 MDM5OTkyLi5hMDA1NjMxMjJmY2IgMTAwNjQ0Cj4+Pj4gLS0tIGEvYXJjaC9hcm02NC9tbS9tbXUu Ywo+Pj4+ICsrKyBiL2FyY2gvYXJtNjQvbW0vbW11LmMKPj4+PiBAQCAtNDIsNiArNDIsNyBAQAo+ Pj4+ICDCoCAjZGVmaW5lIE5PX0JMT0NLX01BUFBJTkdTwqDCoMKgwqDCoCBCSVQoMCkKPj4+PiAg wqAgI2RlZmluZSBOT19DT05UX01BUFBJTkdTwqDCoMKgwqDCoMKgIEJJVCgxKQo+Pj4+ICDCoCAj ZGVmaW5lIE5PX0VYRUNfTUFQUElOR1PCoMKgwqDCoMKgwqAgQklUKDIpwqAgLyogYXNzdW1lcyBG RUFUX0hQRFMgaXMgbm90IHVzZWQgKi8KPj4+PiArI2RlZmluZSBOT19BTExPQ19NQVBQSU5HU8Kg wqDCoMKgwqAgQklUKDMpwqAgLyogZG9lcyBub3QgYWxsb2NhdGUgcGFnZSB0YWJsZSBwYWdlcyAq Lwo+Pj4+ICDCoCDCoCBpbnQgaWRtYXBfdDBzeiBfX3JvX2FmdGVyX2luaXQ7Cj4+Pj4gIMKgIEBA IC0zODAsNyArMzgxLDcgQEAgc3RhdGljIHZvaWQgX19jcmVhdGVfcGdkX21hcHBpbmdfbG9ja2Vk KHBnZF90ICpwZ2RpciwgcGh5c19hZGRyX3QgcGh5cywKPj4+PiAgwqDCoMKgwqDCoMKgwqDCoCBw aHlzICY9IFBBR0VfTUFTSzsKPj4+PiAgwqDCoMKgwqDCoMKgwqDCoCBhZGRyID0gdmlydCAmIFBB R0VfTUFTSzsKPj4+PiAgwqDCoMKgwqDCoMKgwqDCoCBlbmQgPSBQQUdFX0FMSUdOKHZpcnQgKyBz aXplKTsKPj4+PiAtwqDCoMKgwqDCoMKgIEJVR19PTighcGd0YWJsZV9hbGxvYyk7Cj4+Pj4gK8Kg wqDCoMKgwqDCoCBCVUdfT04oIShmbGFncyAmIE5PX0FMTE9DX01BUFBJTkdTKSAmJiAhcGd0YWJs ZV9hbGxvYyk7Cj4+Pj4gIMKgIMKgwqDCoMKgwqDCoMKgwqAgZG8gewo+Pj4+ICDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBuZXh0ID0gcGdkX2FkZHJfZW5kKGFkZHIsIGVuZCk7Cj4+ Pj4gQEAgLTQ1Myw3ICs0NTQsNyBAQCBzdGF0aWMgdm9pZCBfX2luaXQgY3JlYXRlX21hcHBpbmdf bm9hbGxvYyhwaHlzX2FkZHJfdCBwaHlzLCB1bnNpZ25lZCBsb25nIHZpcnQsCj4+Pj4gIMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIHJldHVybjsKPj4+PiAgwqDCoMKgwqDCoMKgwqDC oCB9Cj4+Pj4gIMKgwqDCoMKgwqDCoMKgwqAgX19jcmVhdGVfcGdkX21hcHBpbmcoaW5pdF9tbS5w Z2QsIHBoeXMsIHZpcnQsIHNpemUsIHByb3QsIE5VTEwsCj4+Pj4gLcKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBOT19DT05UX01BUFBJTkdTKTsK Pj4+PiArwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgIE5PX0NPTlRfTUFQUElOR1MgfCBOT19BTExPQ19NQVBQSU5HUyk7Cj4+Pj4gIMKgIH0KPj4+ PiAgwqAgwqAgdm9pZCBfX2luaXQgY3JlYXRlX3BnZF9tYXBwaW5nKHN0cnVjdCBtbV9zdHJ1Y3Qg Km1tLCBwaHlzX2FkZHJfdCBwaHlzLAo+Pj4+IEBAIC00ODEsNyArNDgyLDcgQEAgc3RhdGljIHZv aWQgdXBkYXRlX21hcHBpbmdfcHJvdChwaHlzX2FkZHJfdCBwaHlzLCB1bnNpZ25lZCBsb25nIHZp cnQsCj4+Pj4gIMKgwqDCoMKgwqDCoMKgwqAgfQo+Pj4+ICDCoCDCoMKgwqDCoMKgwqDCoMKgIF9f Y3JlYXRlX3BnZF9tYXBwaW5nKGluaXRfbW0ucGdkLCBwaHlzLCB2aXJ0LCBzaXplLCBwcm90LCBO VUxMLAo+Pj4+IC3CoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqAgTk9fQ09OVF9NQVBQSU5HUyk7Cj4+Pj4gK8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBOT19DT05UX01BUFBJTkdTIHwgTk9fQUxM T0NfTUFQUElOR1MpOwo+Pj4+ICDCoCDCoMKgwqDCoMKgwqDCoMKgIC8qIGZsdXNoIHRoZSBUTEJz IGFmdGVyIHVwZGF0aW5nIGxpdmUga2VybmVsIG1hcHBpbmdzICovCj4+Pj4gIMKgwqDCoMKgwqDC oMKgwqAgZmx1c2hfdGxiX2tlcm5lbF9yYW5nZSh2aXJ0LCB2aXJ0ICsgc2l6ZSk7Cj4+Pgo+Pj4g VGhpcyBpcyBub3cgbW9yZSBjb21wbGljYXRlZCB0aGFuIHdoYXQgd2UgaGFkIG9yaWdpbmFsbHks IGFuZCBpdCBkb2Vzbid0IGNhdGNoCj4+PiB0aGUgY2FzZSB3aGVyZSB0aGUgY2FsbGVyIHNldHMg Tk9fQUxMT0NfTUFQUElOR1MgYnV0IHRoZSBjYWxsZWUgZW5kcyB1cCBuZWVkaW5nCj4+PiB0byBw ZXJmb3JtIGFuIGFsbG9jYXRpb24sIHdoaWNoIHRoZSBvbGQgY29kZSB3b3VsZCBoYXZlIGNhdWdo dC4KPj4KPj4gV2VsbCwgaXQncyBzdGlsbCAiY2F1Z2h0IiBhcyBzdWNoIC0gYWxsIHRoYXQgQlVH X09OKCFwZ3RhYmxlX2FsbG9jKSBkb2VzIGluIHRoZXNlIGNhc2VzIGlzIGVuY29kZSB0aGUgc291 cmNlIGxvY2F0aW9uIGluIHRoZSBiYWNrdHJhY2UsIHZzLiBoYXZpbmcgdG8gZGVjb2RlIGl0IChp ZiBuZWNlc3NhcnkpIGZyb20gdGhlIExSIGluIGEgYmFja3RyYWNlIGZyb20gaW1tZWRpYXRlbHkg ZGVyZWZlcmVuY2luZyBwZ3RhYmxlX2FsbG9jKCkuIElmIHRoYXQgaGFwcGVucyBiZWZvcmUgdGhl IHVzZXIgaGFzIGEgY29uc29sZSB1cCB0aGVuIHRoZSBkaWZmZXJlbmNlIGlzIG1vb3QgYW55d2F5 Lgo+IAo+IEFncmVlZCwgYWxzbyB0aGUgZmFjdCB0aGF0IGNlcnRhaW4gY2FsbGVycyBhcmUgc3Vy ZSBhYm91dCBubyBwYWdlIHRhYmxlIHBhZ2UgYWxsb2NhdGlvbgo+IHdvdWxkIGJlIHJlcXVpcmVk IChoZW5jZSB0aGV5IGp1c3QgcGFzcyAiTlVMTCIgZm9yIHBndGFibGVfYWxsb2MgZnVuY3Rpb24p LCBuZWVkcyB0byBiZQo+IG5vdGlmaWVkIGFwcHJvcHJpYXRlbHkgd2hlbiBwYWdlIHBhZ2UgdGFi bGUgY3JlYXRpb24gc3R1bWJsZXMgdXBvbiBhIHB4ZF9ub25lKCkuCj4gCj4gaWYgKHB4ZF9ub25l KHBtZCkpIHsKPiAJQlVHX09OKGZsYWdzICYgTk9fQUxMT0NfTUFQUElOR1MpOwo+IH0KPiAKPiBB bHRob3VnaCB0aGVyZSBhcmUgbWlnaHQgYmUgYW4gYXJndW1lbnQgdGhhdCBhbGwgZXJzdHdoaWxl IEJVR19PTighcGd0YWJsZV9hbGxvYykgaGFzCj4gcmVwbGFjZW1lbnRzIHdpdGggQlVHX09OKGZs YWdzICYgTk9fQUxMT0NfTUFQUElOR1MpLCBidXQgdGhlcmUgaXMgYSBzdWJ0bGUgZGlmZmVyZW5j ZS4KPiBJdCBjYXB0dXJlcyB0aGUgZmFjdCAoaW4gYSByYXRoZXIgc3RydWN0dXJlZCBtYW5uZXIp LCB0aGF0IGNhbGxlciBtYWRlIGEgY2hvaWNlIHdpdGgKPiBOT19BTExPQ19NQVBQSU5HUyBidXQg Y2FsbGVkIF9fY3JlYXRlX3BnZF9tYXBwaW5nKCkgb24gYSBwYWdlIHRhYmxlLCB3aGVyZSBpbnRl cm1lZGlhdGUKPiBwYWdlIHRhYmxlIHBhZ2UgYWxsb2Mgd291bGQgc3RpbGwgYmUgcmVxdWlyZWQu IElNSE8gYWRkaW5nIHRoYXQgZXhwbGljaXQgc3RydWN0dXJlIGhlcmUKPiB2aWEgdGhlIG5ldyBm bGFnIE5PX0FMTE9DX01BUFBJTkdTIG1ha2VzIHNlbnNlLgoKSG1tLCBJIGR1bm5vLCBpdCBzZWVt cyBjbGVhciBlbm91Z2ggdG8gbWUgdGhhdCB0aGUgY2FsbGVycyB3aGljaCBkbyBub3QgCmludGVu ZCB0byBhbGxvY2F0ZSBpbmRpY2F0ZSB0aGF0IGJ5IHBhc3NpbmcgYSBOVUxMIGFsbG9jYXRvciBj YWxsYmFjay4gClBlcnNvbmFsbHkgSSBkb24ndCBzZWUgdGhlIGJlbmVmaXQgaW4gYWRkaW5nIGNv ZGUgdG8gbWFrZSBhbGwgdGhvc2UgCmNhbGxlcnMgcmVkdW5kYW50bHkgZW5jb2RlIHRoZWlyIGlu dGVudCB0d2ljZSBvdmVyIGp1c3Qgc28gdGhhdCB3ZSBjYW4gCmFsc28gYWRkIGNvZGUgdG8gY2F0 Y2ggdGhlbSBvdXQgYW5kIGNyYXNoIGlmIHRoZXkgZG9uJ3QuIFdlcmVuJ3QgeW91IAp0cnlpbmcg dG8gY2xlYW4gdXAgcmVkdW5kYW5jeT8KCkFzIEkgc2F5IEkgdGhpbmsgYW55IEJVR19PTigpIGhh cyB2ZXJ5IGxpbWl0ZWQgdmFsdWUgYXMgZG9jdW1lbnRhdGlvbiAKd2hlcmUgdGhlIG9ubHkgd2F5 IHRvIHByb2NlZWQgaXMgYnkgZGVyZWZlcmVuY2luZyBOVUxMIGluIGFuIAppZGVudGlmaWFibGUg bWFubmVyIGFueXdheSwgYnV0IHRoYXQncyBsYXJnZWx5IGEgbWF0dGVyIG9mIHRhc3RlIGFuZCBJ IAprbm93IG90aGVycyBtaWdodCBkaXNhZ3JlZS4KClRoYW5rcywKUm9iaW4uCgpfX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpsaW51eC1hcm0ta2VybmVsIG1h aWxpbmcgbGlzdApsaW51eC1hcm0ta2VybmVsQGxpc3RzLmluZnJhZGVhZC5vcmcKaHR0cDovL2xp c3RzLmluZnJhZGVhZC5vcmcvbWFpbG1hbi9saXN0aW5mby9saW51eC1hcm0ta2VybmVsCg==