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 kanga.kvack.org (kanga.kvack.org [205.233.56.17]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.lore.kernel.org (Postfix) with ESMTPS id 9DA20CCF9E0 for ; Fri, 24 Oct 2025 13:27:44 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id 042FE8E0092; Fri, 24 Oct 2025 09:27:44 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id 018EF8E0042; Fri, 24 Oct 2025 09:27:43 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id E23048E0092; Fri, 24 Oct 2025 09:27:43 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (smtprelay0013.hostedemail.com [216.40.44.13]) by kanga.kvack.org (Postfix) with ESMTP id CF7868E0042 for ; Fri, 24 Oct 2025 09:27:43 -0400 (EDT) Received: from smtpin24.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay09.hostedemail.com (Postfix) with ESMTP id 814A0892CA for ; Fri, 24 Oct 2025 13:27:43 +0000 (UTC) X-FDA: 84033085206.24.2EC9712 Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.129.124]) by imf30.hostedemail.com (Postfix) with ESMTP id F1C098000E for ; Fri, 24 Oct 2025 13:27:40 +0000 (UTC) Authentication-Results: imf30.hostedemail.com; dkim=pass header.d=redhat.com header.s=mimecast20190719 header.b=ICFWIv3N; spf=pass (imf30.hostedemail.com: domain of david@redhat.com designates 170.10.129.124 as permitted sender) smtp.mailfrom=david@redhat.com; dmarc=pass (policy=quarantine) header.from=redhat.com ARC-Seal: i=1; s=arc-20220608; d=hostedemail.com; t=1761312461; a=rsa-sha256; cv=none; b=74TOC7oFq88DL4TQWhG0dLIu5e8lCm4pnlxHFCnuSuiQKCowp+QBjShhinf86KAuBUZLEi h8wvDtVWYbApUHRd+zciXThrVyXtpE1EhQoy6ReZpHAGoEeFIkVqNfLCKkVjaKFnj0E2l3 cCzr4+Pp3rjaYRYl0hsRHIq+rBjmixg= ARC-Authentication-Results: i=1; imf30.hostedemail.com; dkim=pass header.d=redhat.com header.s=mimecast20190719 header.b=ICFWIv3N; spf=pass (imf30.hostedemail.com: domain of david@redhat.com designates 170.10.129.124 as permitted sender) smtp.mailfrom=david@redhat.com; dmarc=pass (policy=quarantine) header.from=redhat.com ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=hostedemail.com; s=arc-20220608; t=1761312461; h=from:from:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:dkim-signature; bh=W95gCkBxowoa8sjYCMILYw6pqqluuwtxuEqICefNFQ8=; b=Orq35oGcx4Xc4n4C38OyhOpHNNOn6F67xKKv0YKigazrq5VvqgnaM1+OsOgHtoKlKrZqTZ NkgsHL2fr6lcG2BtpirzXhe96SdAN8ZrqBz0Ohcif/Wy94qTU+fSWMPCQOZgSF/TYsQgFM s0Ei/Wxnpuqq4GiHa2iMhAR3z3dVM6s= DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1761312460; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:autocrypt:autocrypt; bh=W95gCkBxowoa8sjYCMILYw6pqqluuwtxuEqICefNFQ8=; b=ICFWIv3NilQ71wQ2SYQhGyz8pbtEusNLhcpimqk7HoHaadqdqCnQuKvtgqFeVpgJ/cTUqb 9oMQ0avEAl8BM0x4OC726vLOcCWeaGI2LylSWpJi1EfRecIcOZ+ryuq7u4LqBSeEXXQUCH GN9IpIqdx61opGTlqhpRziSwIVBFiBc= Received: from mail-wr1-f70.google.com (mail-wr1-f70.google.com [209.85.221.70]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-581-ZlvCln82Oaa12ovGO1RqJg-1; Fri, 24 Oct 2025 09:27:36 -0400 X-MC-Unique: ZlvCln82Oaa12ovGO1RqJg-1 X-Mimecast-MFC-AGG-ID: ZlvCln82Oaa12ovGO1RqJg_1761312455 Received: by mail-wr1-f70.google.com with SMTP id ffacd0b85a97d-42700160169so1380805f8f.1 for ; Fri, 24 Oct 2025 06:27:36 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1761312455; x=1761917255; h=content-transfer-encoding:in-reply-to:autocrypt:content-language :from:references:cc:to:subject:user-agent:mime-version:date :message-id:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=W95gCkBxowoa8sjYCMILYw6pqqluuwtxuEqICefNFQ8=; b=o2VaAgqQywQHjEyE72OQrr3zEIa5oZhrSvqzAg5R84kT1kIRM3fLKkxUdkd2lCJbE9 mXV4WyiwTn9MDH5cvPR9W5NEj+g7rsTfRw5tlbCJFUKD+47G6KgzIWp4DHwKKJnt+Z9s V5HQ1xGCWRaWPjmRerfHAhiJwi2JORIbor22k5Cf8h+H6ft+eF/RNLcQNJ6MpQpUuq62 xDjZF/JNxfgg5RPcJwVEkYoCH/tj8Y2h6zHUsPQVlp+P7R3s+xsQrrvFvg4Em3HT4J/V SQx9w5UuN5xx8dycku61VdyuSGFugBcTU6PAAQBF6gB6rx+R9TklJxPUHNvt0JzSQYfu pe5g== X-Forwarded-Encrypted: i=1; AJvYcCUgRYNYzlcyhdDsDAdgeE9Zp2Zl/pfzNqNtPbmHfId0sRMuZVh9RLyoJiKSGFfXpy+LgNv7u9wosQ==@kvack.org X-Gm-Message-State: AOJu0YzquShjWg0XYUf+Na8Z08mlKXUXkjiQuaU/cl/Ej/SUIRcuoVAf A/SKalUKce4PVPl/ZdhlnCiJAMjpf/R21ncX/948wfZNM3RZeADYEwDBWfAmQQw55/RfQb0S1m3 Z8XULiWH0u66UbBtRClvTqZUazs7N25KcKx5UQv07I++xbiumhaoc X-Gm-Gg: ASbGnctVBmQa9cZ02N4Otfs3w69Uw0JVz4mLm4xvIDlVYJd4Wp2hUAUOfbAEnE8QE62 8F5gtxuD4UdoKhDkJqZQvkaxhngU5jW0jX7N5hsTSyXw1AbtHg4qPERIa+nZDhBW4kMl955pmX2 xTD4Dq9mgMqHHRaUJuTFuVrCZA64Y93QSEd1+NlBEHEOREW4YhL3j1KlEGOvkKsD5w4ggSYQbYw SRL1wQh3d+YjbHLCgTZ5YFEW0hKYir9oORLFctZmk2QYNM5nq14VEYT47WeSQC3nqoJagy3GQ0P IXa/UyrKnt5w6nM7GR2FOB9SXKs4sSTqzcZcdj2tULx5ZIFJlxTT7aNuVkDdHakp9QcnCLMkkor HHZR/04bDIMz0I56FwrHWPkWeX+B7d+Tgd0bcQ/kb2mJ/vH2XnLGmho38aVEYlBBW/vBf4VxwCf yzFnCAMVCio3BmJ+XdGkpI1952QJ4= X-Received: by 2002:a5d:5f82:0:b0:3fa:5925:4b07 with SMTP id ffacd0b85a97d-42704d74f9fmr17804258f8f.18.1761312455479; Fri, 24 Oct 2025 06:27:35 -0700 (PDT) X-Google-Smtp-Source: AGHT+IE6q4w15VA7XMPgV1osu1aNNaqJ9bER4GrjuNDgzSEl5cHuxzuUI4S5/OhMi/rPVse+Lx9Gyg== X-Received: by 2002:a5d:5f82:0:b0:3fa:5925:4b07 with SMTP id ffacd0b85a97d-42704d74f9fmr17804231f8f.18.1761312454926; Fri, 24 Oct 2025 06:27:34 -0700 (PDT) Received: from ?IPV6:2003:d8:2f4e:3200:c99d:a38b:3f3a:d4b3? (p200300d82f4e3200c99da38b3f3ad4b3.dip0.t-ipconnect.de. [2003:d8:2f4e:3200:c99d:a38b:3f3a:d4b3]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-429898ccc60sm9453555f8f.34.2025.10.24.06.27.33 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 24 Oct 2025 06:27:34 -0700 (PDT) Message-ID: Date: Fri, 24 Oct 2025 15:27:32 +0200 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: [PATCH v3 06/13] mm: introduce generic lazy_mmu helpers To: Kevin Brodsky , linux-mm@kvack.org Cc: linux-kernel@vger.kernel.org, Alexander Gordeev , Andreas Larsson , Andrew Morton , Boris Ostrovsky , Borislav Petkov , Catalin Marinas , Christophe Leroy , Dave Hansen , "David S. Miller" , "H. Peter Anvin" , Ingo Molnar , Jann Horn , Juergen Gross , "Liam R. Howlett" , Lorenzo Stoakes , Madhavan Srinivasan , Michael Ellerman , Michal Hocko , Mike Rapoport , Nicholas Piggin , Peter Zijlstra , Ryan Roberts , Suren Baghdasaryan , Thomas Gleixner , Vlastimil Babka , Will Deacon , Yeoreum Yun , linux-arm-kernel@lists.infradead.org, linuxppc-dev@lists.ozlabs.org, sparclinux@vger.kernel.org, xen-devel@lists.xenproject.org, x86@kernel.org References: <20251015082727.2395128-1-kevin.brodsky@arm.com> <20251015082727.2395128-7-kevin.brodsky@arm.com> <73b274b7-f419-4e2e-8620-d557bac30dc2@redhat.com> <390e41ae-4b66-40c1-935f-7a1794ba0b71@arm.com> From: David Hildenbrand Autocrypt: addr=david@redhat.com; keydata= xsFNBFXLn5EBEAC+zYvAFJxCBY9Tr1xZgcESmxVNI/0ffzE/ZQOiHJl6mGkmA1R7/uUpiCjJ dBrn+lhhOYjjNefFQou6478faXE6o2AhmebqT4KiQoUQFV4R7y1KMEKoSyy8hQaK1umALTdL QZLQMzNE74ap+GDK0wnacPQFpcG1AE9RMq3aeErY5tujekBS32jfC/7AnH7I0v1v1TbbK3Gp XNeiN4QroO+5qaSr0ID2sz5jtBLRb15RMre27E1ImpaIv2Jw8NJgW0k/D1RyKCwaTsgRdwuK Kx/Y91XuSBdz0uOyU/S8kM1+ag0wvsGlpBVxRR/xw/E8M7TEwuCZQArqqTCmkG6HGcXFT0V9 PXFNNgV5jXMQRwU0O/ztJIQqsE5LsUomE//bLwzj9IVsaQpKDqW6TAPjcdBDPLHvriq7kGjt WhVhdl0qEYB8lkBEU7V2Yb+SYhmhpDrti9Fq1EsmhiHSkxJcGREoMK/63r9WLZYI3+4W2rAc UucZa4OT27U5ZISjNg3Ev0rxU5UH2/pT4wJCfxwocmqaRr6UYmrtZmND89X0KigoFD/XSeVv jwBRNjPAubK9/k5NoRrYqztM9W6sJqrH8+UWZ1Idd/DdmogJh0gNC0+N42Za9yBRURfIdKSb B3JfpUqcWwE7vUaYrHG1nw54pLUoPG6sAA7Mehl3nd4pZUALHwARAQABzSREYXZpZCBIaWxk ZW5icmFuZCA8ZGF2aWRAcmVkaGF0LmNvbT7CwZoEEwEIAEQCGwMCF4ACGQEFCwkIBwICIgIG FQoJCAsCBBYCAwECHgcWIQQb2cqtc1xMOkYN/MpN3hD3AP+DWgUCaJzangUJJlgIpAAKCRBN 3hD3AP+DWhAxD/9wcL0A+2rtaAmutaKTfxhTP0b4AAp1r/eLxjrbfbCCmh4pqzBhmSX/4z11 opn2KqcOsueRF1t2ENLOWzQu3Roiny2HOU7DajqB4dm1BVMaXQya5ae2ghzlJN9SIoopTWlR 0Af3hPj5E2PYvQhlcqeoehKlBo9rROJv/rjmr2x0yOM8qeTroH/ZzNlCtJ56AsE6Tvl+r7cW 3x7/Jq5WvWeudKrhFh7/yQ7eRvHCjd9bBrZTlgAfiHmX9AnCCPRPpNGNedV9Yty2Jnxhfmbv Pw37LA/jef8zlCDyUh2KCU1xVEOWqg15o1RtTyGV1nXV2O/mfuQJud5vIgzBvHhypc3p6VZJ lEf8YmT+Ol5P7SfCs5/uGdWUYQEMqOlg6w9R4Pe8d+mk8KGvfE9/zTwGg0nRgKqlQXrWRERv cuEwQbridlPAoQHrFWtwpgYMXx2TaZ3sihcIPo9uU5eBs0rf4mOERY75SK+Ekayv2ucTfjxr Kf014py2aoRJHuvy85ee/zIyLmve5hngZTTe3Wg3TInT9UTFzTPhItam6dZ1xqdTGHZYGU0O otRHcwLGt470grdiob6PfVTXoHlBvkWRadMhSuG4RORCDpq89vu5QralFNIf3EysNohoFy2A LYg2/D53xbU/aa4DDzBb5b1Rkg/udO1gZocVQWrDh6I2K3+cCs7BTQRVy5+RARAA59fefSDR 9nMGCb9LbMX+TFAoIQo/wgP5XPyzLYakO+94GrgfZjfhdaxPXMsl2+o8jhp/hlIzG56taNdt VZtPp3ih1AgbR8rHgXw1xwOpuAd5lE1qNd54ndHuADO9a9A0vPimIes78Hi1/yy+ZEEvRkHk /kDa6F3AtTc1m4rbbOk2fiKzzsE9YXweFjQvl9p+AMw6qd/iC4lUk9g0+FQXNdRs+o4o6Qvy iOQJfGQ4UcBuOy1IrkJrd8qq5jet1fcM2j4QvsW8CLDWZS1L7kZ5gT5EycMKxUWb8LuRjxzZ 3QY1aQH2kkzn6acigU3HLtgFyV1gBNV44ehjgvJpRY2cC8VhanTx0dZ9mj1YKIky5N+C0f21 zvntBqcxV0+3p8MrxRRcgEtDZNav+xAoT3G0W4SahAaUTWXpsZoOecwtxi74CyneQNPTDjNg azHmvpdBVEfj7k3p4dmJp5i0U66Onmf6mMFpArvBRSMOKU9DlAzMi4IvhiNWjKVaIE2Se9BY FdKVAJaZq85P2y20ZBd08ILnKcj7XKZkLU5FkoA0udEBvQ0f9QLNyyy3DZMCQWcwRuj1m73D sq8DEFBdZ5eEkj1dCyx+t/ga6x2rHyc8Sl86oK1tvAkwBNsfKou3v+jP/l14a7DGBvrmlYjO 59o3t6inu6H7pt7OL6u6BQj7DoMAEQEAAcLBfAQYAQgAJgIbDBYhBBvZyq1zXEw6Rg38yk3e EPcA/4NaBQJonNqrBQkmWAihAAoJEE3eEPcA/4NaKtMQALAJ8PzprBEXbXcEXwDKQu+P/vts IfUb1UNMfMV76BicGa5NCZnJNQASDP/+bFg6O3gx5NbhHHPeaWz/VxlOmYHokHodOvtL0WCC 8A5PEP8tOk6029Z+J+xUcMrJClNVFpzVvOpb1lCbhjwAV465Hy+NUSbbUiRxdzNQtLtgZzOV Zw7jxUCs4UUZLQTCuBpFgb15bBxYZ/BL9MbzxPxvfUQIPbnzQMcqtpUs21CMK2PdfCh5c4gS sDci6D5/ZIBw94UQWmGpM/O1ilGXde2ZzzGYl64glmccD8e87OnEgKnH3FbnJnT4iJchtSvx yJNi1+t0+qDti4m88+/9IuPqCKb6Stl+s2dnLtJNrjXBGJtsQG/sRpqsJz5x1/2nPJSRMsx9 5YfqbdrJSOFXDzZ8/r82HgQEtUvlSXNaXCa95ez0UkOG7+bDm2b3s0XahBQeLVCH0mw3RAQg r7xDAYKIrAwfHHmMTnBQDPJwVqxJjVNr7yBic4yfzVWGCGNE4DnOW0vcIeoyhy9vnIa3w1uZ 3iyY2Nsd7JxfKu1PRhCGwXzRw5TlfEsoRI7V9A8isUCoqE2Dzh3FvYHVeX4Us+bRL/oqareJ CIFqgYMyvHj7Q06kTKmauOe4Nf0l0qEkIuIzfoLJ3qr5UyXc2hLtWyT9Ir+lYlX9efqh7mOY qIws/H2t In-Reply-To: <390e41ae-4b66-40c1-935f-7a1794ba0b71@arm.com> X-Mimecast-Spam-Score: 0 X-Mimecast-MFC-PROC-ID: wtSQpw7sKJE214eKKme2oJ18hGXfbGerEPPOA7cFlfc_1761312455 X-Mimecast-Originator: redhat.com Content-Language: en-US Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Rspam-User: X-Stat-Signature: k733fdsa1c4fqs4yudx9bgjgsyos8dru X-Rspamd-Queue-Id: F1C098000E X-Rspamd-Server: rspam09 X-HE-Tag: 1761312460-218880 X-HE-Meta: U2FsdGVkX18TMp3WYwb8Aj24vY/dZAgyszq5BH1fj6mhquDR1pbVNPBLlKPppwl0D2AL13ei450tKVbyY9yi4y/L8UG4tbhtdTdEXqPo6UBQtEbYxzEZtXpJFZL+4/08dUsOIBxG6ZXHwvUFiKG72XyQKSSpufDDojTxZMDZIY2y5fh4HhsA71IqEr4tfu0NTGhNf9M7++muQ4UI+EBAv8WFvPM5fIf5fW54V3jhkhRF3fWF6W5fqD0sgSZ7GnBLDPbyun+TWkRvyJHoFvFTb2z3/zRuAh5kOG9T4BJrBJzrSOezrJTQLKxKecglLF4fTt73I6XHlabPZ9QjfdjGGbuCNyvfqYIdbeit5oDOeHpcKD9FcREFAhQ4SzdWEzVh99EJa+efDLtyukpdPBMeKTeEusFBvkmXK9mDfOPKuOwFwYk8kh2cudgFQw1e5SMKUMXyK2xnv7Y71FFvXDYfRl2T7LyXDbG9Z42nmGlaTrAAojVZL6hJobO5aywtLe5y4slVfmpgIgnNoiOz/AmLn56SAjc4ekD+3Z45E1zNqLRh6dCWvwj6JQ58C34MmCTk7kPnlttfd2L/shnO/78UmktTQMfTzM4MwuWDD1s99GGEJXBkHwElC2CNg6m3jwGuWFdp3idnYuwXfQGIxoTRXiEiAE6y1x+CZ0J8mFzdhjjYPKia2drYAoVMgqFkL3GoEsrtJ+NIp/yFdu5ts1B7dRtw3a+q60Fq9uGC2zx/V0bowBUPcVLJvVIZ3lqRy7zli9Eg63qAyxKogOOVnVwAxe5opsGVYKX8fJdhVHQ8UrTDN/zE4+tBUQ2KYhfKYSDFJfmnYxNlJtkkbSIltnZBRZJ9Fntf6awysYEkB9nhhv2ZEN99zNbLdkb/r/yq5Oj4sGndj4GIe51HFi1XDhNErEST0HvhiZx7IGlhpWdke8XAw4WemuLbxVOr32FjVGzSNd9YIpUOuEW0KYdHSsl HWJsSawb is0FJjQmnEF0sGowcmZ6fBdrYEskO88zI56VRqlP2Ns2632gE+9P/4xqKz+eEEmtpoWv4sIAvcwdoeLvmiAyoeMV4soC2dLWy7uNP44W8p8A8dkVcnvfRfdvfWRpBqv2iBZjUP5oe8t8Uh/iF2RD5Qmjj7mNUZbEqd+IHts4s0jvH/u8SBWmpAaeAqPsSCcJtvrjHxSFl9MENJnPOwUhNiYjERWz3vuyl8lWC4APHHoPDXbQf7yOFb5T6jS55bYSkddm9/vbsR+St/esEzu757aPBW9ofEhjBiLyAFrSu0CpDMhOzODm+MtcMbp4FYdmJmUlcf/JVuHfn2SQ2Jua8Fqj/mMrKHEdxq67vsTfjxa/FMV8no6E9G9KkAVY7TgvDKKT0YMEr+eCDsi7J3SAWKaBmBH1pYVC+l1lKXaEIPDOfm/Y077E8iMtJWdnUULdkVjI8P+58LR3Cb6K3E+CaxxZGzNKFJQIFqBOjU0Qf3jP48D3S84ue75kk8A== X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: List-Subscribe: List-Unsubscribe: On 24.10.25 14:13, Kevin Brodsky wrote: > On 23/10/2025 21:52, David Hildenbrand wrote: >> On 15.10.25 10:27, Kevin Brodsky wrote: >>> [...] >>> >>> * madvise_*_pte_range() call arch_leave() in multiple paths, some >>>    followed by an immediate exit/rescheduling and some followed by a >>>    conditional exit. These functions assume that they are called >>>    with lazy MMU disabled and we cannot simply use pause()/resume() >>>    to address that. This patch leaves the situation unchanged by >>>    calling enable()/disable() in all cases. >> >> I'm confused, the function simply does >> >> (a) enables lazy mmu >> (b) does something on the page table >> (c) disables lazy mmu >> (d) does something expensive (split folio -> take sleepable locks, >>     flushes tlb) >> (e) go to (a) > > That step is conditional: we exit right away if pte_offset_map_lock() > fails. The fundamental issue is that pause() must always be matched with > resume(), but as those functions look today there is no situation where > a pause() would always be matched with a resume(). We have matches enable/disable, so my question is rather "why" you are even thinking about using pause/resume? What would be the benefit of that? If there is no benefit then just drop this from the patch description as it's more confusing than just ... doing what the existing code does :) >> >> Why would we use enable/disable instead? >> >>> >>> * x86/Xen is currently the only case where explicit handling is >>>    required for lazy MMU when context-switching. This is purely an >>>    implementation detail and using the generic lazy_mmu_mode_* >>>    functions would cause trouble when nesting support is introduced, >>>    because the generic functions must be called from the current task. >>>    For that reason we still use arch_leave() and arch_enter() there. >> >> How does this interact with patch #11? > > It is a requirement for patch 11, in fact. If we called disable() when > switching out a task, then lazy_mmu_state.enabled would (most likely) be > false when scheduling it again. > > By calling the arch_* helpers when context-switching, we ensure > lazy_mmu_state remains unchanged. This is consistent with what happens > on all other architectures (which don't do anything about lazy_mmu when > context-switching). lazy_mmu_state is the lazy MMU status *when the task > is scheduled*, and should be preserved on a context-switch. Okay, thanks for clarifying. That whole XEN stuff here is rather horrible. > >> >>> >>> Note: x86 calls arch_flush_lazy_mmu_mode() unconditionally in a few >>> places, but only defines it if PARAVIRT_XXL is selected, and we are >>> removing the fallback in . Add a new fallback >>> definition to to keep things building. >> >> I can see a call in __kernel_map_pages() and >> arch_kmap_local_post_map()/arch_kmap_local_post_unmap(). >> >> I guess that is ... harmless/irrelevant in the context of this series? > > It should be. arch_flush_lazy_mmu_mode() was only used by x86 before > this series; we're adding new calls to it from the generic layer, but > existing x86 calls shouldn't be affected. Okay, I'd like to understand the rules when arch_flush_lazy_mmu_mode() would actually be required in such arch code, but that's outside of the scope of your patch series. -- Cheers David / dhildenb