[PATCHv5 10/16] x86/tdx: Convert shared memory back to private on kexec

[Edgecombe, Rick P]

On Sat, 2024-01-06 at 03:59 +0300, kirill.shutemov at linux.intel.com
wrote:
> But why? There's no concurrency at this point. Interrupts are
> disabled and
> only one CPU is active. Nobody can touch the memory relevant for the
> PTE.

Oh, right, sorry. I had thought there could be other CPUs active at
that point.