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

Andi Kleen
2021-08-24T17:31:39Z

>>> + */
>>> + local_irq_enable();
> ...because this is broken. It's also disturbing because it suggests that these
> patches are not being tested.

This is already fixed in the github tree. Yes it took some time for the
fix to trickle out.

-Andi