Re: [PATCH v5 08/12] x86/tdx: Add HLT support for TDX guest

Borislav Petkov
2021-08-24T18:01:59Z

On Tue, Aug 24, 2021 at 05:47:25PM +0000, Sean Christopherson wrote:
> It's passed to the (untrusted) VMM. The TDX Module has direct access to the guest's
> entire FLAGS via the VMCS.
>
> The VMM uses the "IRQs enabled" param to understand whether or not it should
> schedule the halted vCPU if an IRQ becomes pending. E.g. if IRQs are disabled
> the VMM can keep the vCPU in virtual HLT, even if an IRQ is pending, without
> hanging/breaking the guest.

See, explanations like that need to be over those _tdx_hypercall()
wrappers. Otherwise it is just random magic.

--
Regards/Gruss,
Boris.