Re: [RFC v2 16/32] x86/tdx: Handle MWAIT, MONITOR and WBINVD

[Dave Hansen]

On 4/26/21 11:01 AM, Kuppuswamy Sathyanarayanan wrote:
> For WBIND instruction, since it's related to memory writeback

	^ WBINVD

> and cache flushes, it's mainly used in context of IO devices. Since
> TDX 1.0 does not support non-virtual I/O devices, skipping it should
> not cause any fatal issues. But
Do me a favor:

	grep -ri wbinvd arch/x86/

How many I/O devices do you see?

Please get your ducks in a row here.  Come up with a coherent changelog
about why the arch/x86 use of WBINVD doesn't apply to TDX guests.
Explain the audit that you did.  You *DID* do an audit, right?