On Fri, Mar 02, 2018 at 09:14:01AM +0100, Juergen Gross wrote:
> Instead of flushing the TLB from global pages when switching address
> spaces with XPTI being active just disable global pages via %cr4
> completely when a domain subject to XPTI is active. This avoids the
> need for extra TLB flushes as loading %cr3 will remove all TLB
> Signed-off-by: Juergen Gross <jgr...@suse.com>
I think you patch tries to disable PGE wholesale for Xen, but I don't
think this patch catches all of them.
XEN_MINIMAL_CR4 still has PGE in it. EFI path and the stack resyncing
asm in __start_xen are missing.
You also missed fixing the comment of setting MTRR. It is not a big deal
I have in fact written a small series to make CR4.PGE configurable but
haven't got around to send the patches yet because I didn't think it is
very useful in its own.
Xen-devel mailing list