On Tue, Nov 22, 2022 at 10:57:52AM -0800, Dave Hansen wrote: > To me, this starts to veer way too far into internal implementation details. > > Issue the TDH.SYS.LP.SHUTDOWN SEAMCALL on all BIOS-enabled CPUs > to shut down the TDX module. We really need to let go of the whole 'all BIOS-enabled CPUs' thing.