Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:7 as permitted sender) client-ip=2620:137:e000::3:7;
Date:   Thu, 16 Nov 2023 10:39:56 +0800
From:   Chao Gao <chao.gao@intel.com>
To:     "Li, Xin3" <xin3.li@intel.com>
CC:     "kvm@vger.kernel.org" <kvm@vger.kernel.org>,
        "linux-doc@vger.kernel.org" <linux-doc@vger.kernel.org>,
        "linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>,
        "linux-hyperv@vger.kernel.org" <linux-hyperv@vger.kernel.org>,
        "linux-kselftest@vger.kernel.org" <linux-kselftest@vger.kernel.org>,
        "seanjc@google.com" <seanjc@google.com>,
        "pbonzini@redhat.com" <pbonzini@redhat.com>,
        "corbet@lwn.net" <corbet@lwn.net>,
        "kys@microsoft.com" <kys@microsoft.com>,
        "haiyangz@microsoft.com" <haiyangz@microsoft.com>,
        "wei.liu@kernel.org" <wei.liu@kernel.org>,
        "Cui, Dexuan" <decui@microsoft.com>,
        "tglx@linutronix.de" <tglx@linutronix.de>,
        "mingo@redhat.com" <mingo@redhat.com>,
        "bp@alien8.de" <bp@alien8.de>,
        "dave.hansen@linux.intel.com" <dave.hansen@linux.intel.com>,
        "x86@kernel.org" <x86@kernel.org>, "hpa@zytor.com" <hpa@zytor.com>,
        "vkuznets@redhat.com" <vkuznets@redhat.com>,
        "peterz@infradead.org" <peterz@infradead.org>,
        "Shankar, Ravi V" <ravi.v.shankar@intel.com>
Subject: Re: [PATCH v1 12/23] KVM: VMX: Handle FRED event data
Message-ID: <ZVV/Rso4Rs4Hf8Df@chao-email>
References: <20231108183003.5981-1-xin3.li@intel.com>
 <20231108183003.5981-13-xin3.li@intel.com>
 <ZVH3IUsfvzuPaj6L@chao-email>
 <SA1PR11MB6734B2389911D76A4B95319AA8B2A@SA1PR11MB6734.namprd11.prod.outlook.com>
 <ZVM203KI5D3o+ksS@chao-email>
 <SA1PR11MB6734FAD33CAC432ABB5EF7D5A8B1A@SA1PR11MB6734.namprd11.prod.outlook.com>
Content-Type: text/plain; charset="us-ascii"
Content-Disposition: inline
In-Reply-To: <SA1PR11MB6734FAD33CAC432ABB5EF7D5A8B1A@SA1PR11MB6734.namprd11.prod.outlook.com>
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?wvtctVoxf1OCQhhVNWWgJG3ir0og4utoaAJ07ZYKcXo8haHtCTd2B0612Kf6?=
 =?us-ascii?Q?V9nkycT74XnjdK5WbpjMnCBjKhIbeQxp0VzISAesuc9sKLEPNvVDRb5Kliiz?=
 =?us-ascii?Q?eJxfcIBVoT/BooPYPvmw9rf5kzL/l1yhHpKlHV+7GwLxB6ldLMDjxSkmJKQd?=
 =?us-ascii?Q?zhVueF8JghJmguVPtznfg3pygFvz8wIKRFP+zOyHbgB4bB3tYrzUY1IvGcxA?=
 =?us-ascii?Q?4XmMZvyq2IHV4v8S7CMsF4+nOwP0yehLoISsF++HEhUl1TXRyD1lo4k1wLJO?=
 =?us-ascii?Q?1G8Fyl7buUeGNMD3heU2pAqImOj40893z9RxEr/xvyHXMLdz4yvUyQvRqV0i?=
 =?us-ascii?Q?lRQRMeh5Tb3MlCBWifvi4D+xFaVyOfEAHK5kYO8QLjYfgVviJb9Dy+z7SOev?=
 =?us-ascii?Q?Lm/+N8ryE0rqLlB9tOsftRckxaEFJiR6KLhWkEYp5FE0RylXhjYWznNex6Ti?=
 =?us-ascii?Q?85Y6ambqfbCDEelfE1B5cTv+hAhZk/7bwVUkaiieLIOun9niwcgZPbOlxWfJ?=
 =?us-ascii?Q?b/c0C9PUJiGRLuZIyF10wfJVkmrkfr6yPwbdLz0uoWaPA5UfgtqAYK7Irs7V?=
 =?us-ascii?Q?jMsr53G0ppMszbGsjKDQc4yVfbZhGhcp6fyz4TUZnNF3zNbkPv+42kSPwLWD?=
 =?us-ascii?Q?f4fOlkgUxWQsooOrQmZuot/RPQrFbXXTJBbYkCFe+HpxMlvYlYRLp3cb25kk?=
 =?us-ascii?Q?HrOJkD8iPCdUYbtWyWoK+CU8Fx0jpzGrWOH2QqC0bEo7LYlpTL+LUmc9wQhN?=
 =?us-ascii?Q?NJqkxc3uKLPYfqQ/8IC3RhXuEW3vbh2jzUivLTmJRBN8TdRm/B1LtMwXKQMe?=
 =?us-ascii?Q?Jhk19IuP7tqZV4eQJmGyL+vpwWfUlAZz1zng5pDkl3rxNtmJ74HvUwb2C27z?=
 =?us-ascii?Q?jUlAm7ByTV3NEr0otcWvcgjVvKiq7ttYcSXmYSKn4a2zKSjGV4z97xaQfHLM?=
 =?us-ascii?Q?anXV9D42gbwgz0qW9yPk+fyld/eGDOcrOI3sJ9Dlqaj9e+Ichg8YpqDq7RcO?=
 =?us-ascii?Q?C7B1i5uOP2G2qIRXmnQeCaEFFpjP9Dm8rpWIGS2DJF7q7/3c4nZy/BZDiD74?=
 =?us-ascii?Q?BJRDhAXRf4qW4QtqBASi8JGDqoyKy66K6Jtn7cZ+R/syIG5gogDGTihCEyVr?=
 =?us-ascii?Q?0iKviZKhJJ3PzVfKDCsa0xvn1dGQSry5deP1HUIj1UJXMOnlOrxTkBTclTzc?=
 =?us-ascii?Q?jUDv8/zz0jCQZnfveuuNbYB3MjjPDtvxXZK51Ogp+LA0J27sS+MQX5ciVhaS?=
 =?us-ascii?Q?whJCCrtDTkERAVrdb1scm0bzaiB6Yd2J3BRB6/UhInkO2auU9yvo2QR/QCC2?=
 =?us-ascii?Q?19TkN9R84HkuC/Cp1ixYDsqcV8FDVF1MMy3yTJWI/zdEp2RKeevO7xyH6XBj?=
 =?us-ascii?Q?3xbVwjzN8z1YLaKz0bPaXqD3VrFOiBjM1mE6PGA5qyT0MdP7Ac0/sqnHZiX3?=
 =?us-ascii?Q?oYsz6JkGM+jCOFSEPMQtt7OlHSe7HMWj4Gp6L69u0EWonjZnUXPzGNS7NXb0?=
 =?us-ascii?Q?BBi0AgW0rflreenT6Vgz7Q1ooFwW6w66grDyseQICjtuc6DgG4Z+32rytzGI?=
 =?us-ascii?Q?Ey4kT4n7TeNYS8xdKYQHA0mpGJYmNOrJusI+SQz9?=
X-MS-Exchange-CrossTenant-Network-Message-Id: 57d700af-6460-45ab-1598-08dbe64d58a6
X-MS-Exchange-CrossTenant-AuthSource: CH3PR11MB8660.namprd11.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 16 Nov 2023 02:40:08.7021
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 46c98d88-e344-4ed4-8496-4ed7712e255d
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: FvQHwm2g1X9L8jOq0aBlBKo9oHn1v3vGFcGEVDPOBPFt/Og6ZT2ZFfQLlFwvkmCdFJyElA15CNFW7y4PIlOC9A==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: MW3PR11MB4745
X-OriginatorOrg: intel.com
X-Spam-Status: No, score=-2.2 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH,
        DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,
        RCVD_IN_DNSWL_BLOCKED,SPF_HELO_NONE,SPF_NONE,T_SCC_BODY_TEXT_LINE,
        URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
        lindbergh.monkeyblade.net
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org
X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.6.4 (snail.vger.email [0.0.0.0]); Wed, 15 Nov 2023 18:40:25 -0800 (PST)

>> >> >+			default:
>> >> >+				WARN_ON(event_data != 0);
>> >>
>> >> I am not sure if this WARN_ON() can be triggeded by nested VMX. It is
>> >> legitimate for L1 VMM to inject any event w/ an event_data.
>> >>
>> >> FRED spec says:
>> >>
>> >> Section 5.2.1 specifies the event data that FRED event delivery of
>> >> certain events saves on the stack. When FRED event delivery is used
>> >> for an event injected by VM entry, the event data saved is the value
>> >> of the injected-event-data field in the VMCS. This value is used
>> >> instead of what is specified in Section 5.2.1 and is done for __ALL__
>> >> injected events using FRED event delivery
>> >
>> >5.2.1 Saving Information on the Regular Stack also says:
>> >- For any other event, the event data are not currently defined and
>> >will
>> >  be zero until they are.
>> >
>> >Or you mean something else?
>> 
>> IIUC, L1 KVM can inject a nested exception whose vector isn't #DB, or #NM or #PF
>> with a non-zero event_data to L2.
>
>No, this is not allowed.

How do you interpret the last sentence:

	Section 5.2.1 specifies the event data that FRED event delivery of
	certain events saves on the stack. When FRED event delivery is used
	for an event injected by VM entry, the event data saved is the value
	of the injected-event-data field in the VMCS. This value is used
	instead of what is specified in Section 5.2.1 and is done for __ALL__
	injected events using FRED event delivery