> On Mar 26, 2021, at 8:40 PM, Kuppuswamy, Sathyanarayanan
> <sathyanarayanan.kuppusw...@linux.intel.com> wrote:
>
>
>
> On 3/26/21 7:40 PM, Andy Lutomirski wrote:
>>>> On Mar 26, 2021, at 5:18 PM, Kuppuswamy Sathyanarayanan
>>>> <sathyanarayanan.kuppusw...@linux.intel.com> wrote:
>>>
>>> In non-root TDX guest mode, MWAIT, MONITOR and WBINVD instructions
>>> are not supported. So handle #VE due to these instructions as no ops.
>> These should at least be WARN.
> I will change it to WARN.
>> Does TDX send #UD if these instructions have the wrong CPL?
> No, TDX does not trigger #UD for these instructions.
> If the #VE came from user mode, we should send an appropriate signal instead.
> It will be mapped into #GP(0) fault. This should be enough notification right?
Yes. And I did mean #GP, not #UD.
