Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753760AbdHXQI6 (ORCPT ); Thu, 24 Aug 2017 12:08:58 -0400 Received: from mx1.redhat.com ([209.132.183.28]:47024 "EHLO mx1.redhat.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1753512AbdHXQI4 (ORCPT ); Thu, 24 Aug 2017 12:08:56 -0400 DMARC-Filter: OpenDMARC Filter v1.3.2 mx1.redhat.com 4BC608763A Authentication-Results: ext-mx02.extmail.prod.ext.phx2.redhat.com; dmarc=none (p=none dis=none) header.from=redhat.com Authentication-Results: ext-mx02.extmail.prod.ext.phx2.redhat.com; spf=fail smtp.mailfrom=pbonzini@redhat.com Subject: Re: [PATCH 1/4] KVM: VMX: cache secondary exec controls To: Jim Mattson Cc: LKML , kvm list References: <1503581879-52125-1-git-send-email-pbonzini@redhat.com> <1503581879-52125-2-git-send-email-pbonzini@redhat.com> From: Paolo Bonzini Message-ID: Date: Thu, 24 Aug 2017 18:08:53 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.2.1 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 7bit X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.5.16 (mx1.redhat.com [10.5.110.26]); Thu, 24 Aug 2017 16:08:56 +0000 (UTC) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 707 Lines: 17 On 24/08/2017 18:02, Jim Mattson wrote: > On the subject of complexity, why do we clear > CPUID.(EAX=07H,ECX=0):EBX.INVPCID[bit 10] when CPUID.01H:ECX.PCID[bit > 17] is clear? Sure, it would be odd to support the INVPCID instruction > without also supporting PCIDs, but why single out this one check? > Isn't it equally bizarre to support SSE2 without SSE, or XSAVES > without XSAVE, or RDTSCP without TSC, or DS-CPL without DS, or ...? I actually agree with you. It's just been like this forever: commit ad756a1603c5fac207758faaac7f01c34c9d0b7b Author: Mao, Junjie Date: Mon Jul 2 01:18:48 2012 +0000 KVM: VMX: Implement PCID/INVPCID for guests with EPT Paolo