Nadav Amit <nadav.a...@gmail.com> wrote: >> > Just to clarify: I asked since I don’t understand how the interaction with > PCID-unaware CR3 users go. Specifically, IIUC, arch_efi_call_virt_teardown() > can reload CR3 with an old PCID value. No?
Please ignore this email. I realized it is not a problem. Nadav
