On Mon, 2023-06-05 at 02:27 +1200, Kai Huang wrote: > --- a/arch/x86/kernel/reboot.c > +++ b/arch/x86/kernel/reboot.c > @@ -720,6 +720,7 @@ void native_machine_shutdown(void) > > #ifdef CONFIG_X86_64 > x86_platform.iommu_shutdown(); > + x86_platform.memory_shutdown(); > #endif > } Hi Kirill/Dave, I missed that this solution doesn't reset TDX private for emergency restart or when reboot_force is set, because machine_shutdown() isn't called for them. Is it acceptable? Or should we handle them too?
