> On Mar 29, 2021, at 4:17 PM, Kuppuswamy Sathyanarayanan > <[email protected]> wrote: > > In non-root TDX guest mode, MWAIT, MONITOR and WBINVD instructions > are not supported. So handle #VE due to these instructions > appropriately.
Is there something I missed elsewhere in the code that checks CPL?
