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 vger.kernel.org (vger.kernel.org [23.128.96.18]) by smtp.lore.kernel.org (Postfix) with ESMTP id C15F4C05027 for ; Thu, 2 Feb 2023 01:31:06 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S231543AbjBBBbF (ORCPT ); Wed, 1 Feb 2023 20:31:05 -0500 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:42108 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S229748AbjBBBbE (ORCPT ); Wed, 1 Feb 2023 20:31:04 -0500 Received: from mail-pl1-x634.google.com (mail-pl1-x634.google.com [IPv6:2607:f8b0:4864:20::634]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 7426078ADD for ; Wed, 1 Feb 2023 17:30:46 -0800 (PST) Received: by mail-pl1-x634.google.com with SMTP id k13so408650plg.0 for ; Wed, 01 Feb 2023 17:30:46 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20210112; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:from:to:cc:subject:date:message-id:reply-to; bh=PQFN0Hba8GKCQZ+8YRrT2Rwbcn3RAwlgxNWVZTQbFTw=; b=kGM90QC5SECzFBy4MEwi3Lhk8kucQq+ICv/2LPqtKDrBpQY4rVAxJ8fMroEFEDpfHg OmITLmjzcdmvMm6PcW3dr5cYk+1MJzWGMTGO6fulPnpvDbt4aZgq4yvq7YU5kBcD9xL1 v0Xi5dOCcBiX+22ngDCScQihoJpEAFimokR5mTjtUDZh4r02qkmRFFPsD1u29dFbO/ZZ 0O70cBh6/e8ybFZOnapsP8qBWXkrTXQVpbu0MS/ayxDlIczdSRePbyjRNru4VddRmzK7 CMTvfBruTqjRq1tOhgdWI9BpW93bwQP4f0+z6mTiabTr/m4FnTwGagHt+U4WPQcQJ5Tn ci4w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=PQFN0Hba8GKCQZ+8YRrT2Rwbcn3RAwlgxNWVZTQbFTw=; b=zaiAlJaMAPi4ozgxBlh5szC3Bb9As5c5E6vHcRTQPPEhlWZAB/y+RP3SbsN3JsK7UO iGBsCTef+TTLmGpPdFa+mXQoQNmnmRjv5yxNo1uCSNqx/bDmDqbaZR7crkQ3VooN/Pjc S/c19nEOdUFYLqJmrQ9vfNkQq/NA1b5RGkOmtY9F1U2GFa4p3C55ntC+5xiesVVQrfCW HNLfOH6vHTndA9iZ3v3AjolpPj/Zowq8PWC9QtvWQV3ZNp3Yi3WNxezL02CF92pLanlh zwRuI3/F35Wdkq8vtcmL4WcLbcc9cYZPH+32w5BvjDScBM/Wf48BiTCHKsVU4OA/YiCu cLHw== X-Gm-Message-State: AO0yUKVmSEhuU9WDfxTzGQDrqCJLi+JaF6IXPSJgxLKIkc0ZYylRV1l8 thGnfAMslGGVIu5cyLz8SOTVBQ== X-Google-Smtp-Source: AK7set8p9phbJpS88f4lPmz3cSTczRaYOPpHYZ2+eRwCuRjViotAwkZlbSvCIWIFvbr9B5e3sTjd9w== X-Received: by 2002:a17:902:f7c9:b0:194:d5ff:3ae3 with SMTP id h9-20020a170902f7c900b00194d5ff3ae3mr163701plw.2.1675301445619; Wed, 01 Feb 2023 17:30:45 -0800 (PST) Received: from google.com (7.104.168.34.bc.googleusercontent.com. [34.168.104.7]) by smtp.gmail.com with ESMTPSA id mm15-20020a17090b358f00b00217090ece49sm1991205pjb.31.2023.02.01.17.30.45 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 01 Feb 2023 17:30:45 -0800 (PST) Date: Thu, 2 Feb 2023 01:30:41 +0000 From: Sean Christopherson To: Lai Jiangshan Cc: linux-kernel@vger.kernel.org, Paolo Bonzini , Lai Jiangshan , Thomas Gleixner , Ingo Molnar , Borislav Petkov , Dave Hansen , x86@kernel.org, "H. Peter Anvin" , kvm@vger.kernel.org Subject: Re: [PATCH 6/7] kvm: x86/mmu: Remove FNAME(invlpg) Message-ID: References: <20230105095848.6061-1-jiangshanlai@gmail.com> <20230105095848.6061-7-jiangshanlai@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20230105095848.6061-7-jiangshanlai@gmail.com> Precedence: bulk List-ID: X-Mailing-List: kvm@vger.kernel.org On Thu, Jan 05, 2023, Lai Jiangshan wrote: > From: Lai Jiangshan > > Replace it with FNAME(sync_spte). > > FNAME(sync_spte) combined with the shadow pagetable walk meets the > semantics of the instruction INVLPG. Please call out the differences (I assume the two aren't perfectly identical), and explain why those differences are benign.