Received: by 2002:a05:6a10:206:0:0:0:0 with SMTP id 6csp580160pxj; Thu, 17 Jun 2021 09:06:53 -0700 (PDT) X-Google-Smtp-Source: ABdhPJyNA1+ai7nGRWaDt9fGXqBR6mqPmgi9lkq/El3+q08LThXYldLO+J5Ji8Yqiqrh6t2gJOuH X-Received: by 2002:a17:906:15c2:: with SMTP id l2mr6018922ejd.348.1623946013295; Thu, 17 Jun 2021 09:06:53 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1623946013; cv=none; d=google.com; s=arc-20160816; b=p+99+VZanIhQODJ0eO1NXXCDRvYy2Vz8p1Azpw67nLjOJJ6/fYcotG+11vPKLatlof 6EsnJE2clbcRRYbaCAHGtt+MyZzvCHi3KZxlukD38vbfDquvHHq0kcjMw6qZL+Nc9qse fZ1WW8dr13Msy3czPkOrZB6zVFyjF/9WMDupGpnIsfBIOTvdspK8AR3ritNpWpE+rrhR L6jJAY04kn1lLW0mcRRcpARP1zdb+h/AcJ/MFjjcPXiloja449Yb97SWYP6T8pooDP73 7bmBMWGuRjRxiYTwmA2vcVf5ajHa40JRQ5aRfOH7blX/q/gI/G78sHFOUt2p69GW+r4X L4Gg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:user-agent:in-reply-to:content-disposition :mime-version:references:message-id:subject:cc:to:from:date :dkim-signature; bh=/BJkRjLiZNGPxX/esTpT1auuS2VD1JQF2B2bT1ADP1s=; b=HwoIc7ZB9t0pVyaPkZhmqD3H3pdXUcEoRJfjaT+7qhKH9ptyuo+gajjB+Ki+HSL5jI nOqqdTfYwEbViHxXiTFVb2w0aX2GoDj9RK1U0AudmYzkw86zmQJ3LIdPGCvQFNILV4wO OgFZZ7+uZBjH4wjkn9xwEefr18k+Ye8b5fI65pq8JIpCvfdmhTjuKn0pgcjb7Rh9ZcUN P7m9OM/X3amGrr4qKsdjY0qSDqcXLg0UCVW77TgvDvBehiDSE9JgcDwqmF6JiyQRgw8X emdvbMEJA0cZhTfyy2fXKFfhZNcljqo+f/fOxcALtyHyEzh/kDMWSQceyqAySvVkW47b m26w== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@kernel.org header.s=k20201202 header.b=Vb3e9ZS1; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id b11si5783516ejl.253.2021.06.17.09.06.29; Thu, 17 Jun 2021 09:06:53 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; dkim=pass header.i=@kernel.org header.s=k20201202 header.b=Vb3e9ZS1; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S232395AbhFQNXa (ORCPT + 99 others); Thu, 17 Jun 2021 09:23:30 -0400 Received: from mail.kernel.org ([198.145.29.99]:58282 "EHLO mail.kernel.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S231702AbhFQNX3 (ORCPT ); Thu, 17 Jun 2021 09:23:29 -0400 Received: by mail.kernel.org (Postfix) with ESMTPSA id BD02A6112D; Thu, 17 Jun 2021 13:21:19 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1623936082; bh=9m33aIOJbia+ShcJ940DomACgwPzr98gLkW2wr4hC0U=; h=Date:From:To:Cc:Subject:References:In-Reply-To:From; b=Vb3e9ZS14SiSso4EXORRrKwxfAZT20KMhCseWc54VYAc5MtG70waEtim/es9NVznb KZxnCTX+u/dwRN/5pESaYM3FZpZSC05Lqzsa5HbAJrOk43pEdk/krdZ10NrbEYSBzu HfhjoHpdabOfk6XKx0eib42VKJhHjwqmBoyD6YKubuKZB9QC7T1Ifr9yD+K3eflqBc uKupbuBOkbtc6w8EBmowP9qnR7esHF7xQpck+/SAfRDdi3Ub4ts1YhYRx3ohwTp1Rp vjynNariT2gyLgNMJbZfqpwB/XC45+n+U4u5f4GgnvMLcdI2596NypKVEF6jSxtVED B4DjgJJgNh+Lw== Date: Thu, 17 Jun 2021 14:21:16 +0100 From: Will Deacon To: Marc Zyngier Cc: Yanan Wang , Quentin Perret , Alexandru Elisei , kvmarm@lists.cs.columbia.edu, linux-arm-kernel@lists.infradead.org, kvm@vger.kernel.org, linux-kernel@vger.kernel.org, Catalin Marinas , James Morse , Julien Thierry , Suzuki K Poulose , Gavin Shan , wanghaibin.wang@huawei.com, zhukeqian1@huawei.com, yuzenghui@huawei.com Subject: Re: [PATCH v7 4/4] KVM: arm64: Move guest CMOs to the fault handlers Message-ID: <20210617132115.GA24656@willie-the-truck> References: <20210617105824.31752-1-wangyanan55@huawei.com> <20210617105824.31752-5-wangyanan55@huawei.com> <20210617124557.GB24457@willie-the-truck> <87k0msd4ue.wl-maz@kernel.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <87k0msd4ue.wl-maz@kernel.org> User-Agent: Mutt/1.10.1 (2018-07-13) Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Thu, Jun 17, 2021 at 01:59:37PM +0100, Marc Zyngier wrote: > On Thu, 17 Jun 2021 13:45:57 +0100, > Will Deacon wrote: > > On Thu, Jun 17, 2021 at 06:58:24PM +0800, Yanan Wang wrote: > > > @@ -606,6 +618,14 @@ static int stage2_map_walker_try_leaf(u64 addr, u64 end, u32 level, > > > stage2_put_pte(ptep, data->mmu, addr, level, mm_ops); > > > } > > > > > > + /* Perform CMOs before installation of the guest stage-2 PTE */ > > > + if (mm_ops->clean_invalidate_dcache && stage2_pte_cacheable(pgt, new)) > > > + mm_ops->clean_invalidate_dcache(kvm_pte_follow(new, mm_ops), > > > + granule); > > > + > > > + if (mm_ops->invalidate_icache && stage2_pte_executable(new)) > > > + mm_ops->invalidate_icache(kvm_pte_follow(new, mm_ops), granule); > > > > One thing I'm missing here is why we need the indirection via mm_ops. Are > > there cases where we would want to pass a different function pointer for > > invalidating the icache? If not, why not just call the function directly? > > > > Same for the D side. > > If we didn't do that, we'd end-up having to track whether the guest > context requires CMOs with additional flags, which is pretty ugly (see > v5 of this series for reference [1]). Fair enough, although the function pointers here _are_ being used as flags, as they only ever have one of two possible values (NULL or the CMO function), so it's a shame to bring in the indirect branch as well. > It also means that we would have to drag the CM functions into the EL2 > object, something that we don't need with this approach. I think it won't be long before we end up with CMO functions at EL2 and you'd hope we'd be able to use the same code as EL1 for something like that. But I also wouldn't want to put money on it... Anyway, no strong opinion on this, it just jumped out when I skimmed the patches. Will