On Mon, Nov 27, 2017 at 11:49:14AM +0100, Ingo Molnar wrote:
> @@ -338,24 +366,23 @@ static inline void __native_flush_tlb_single(unsigned
> long addr)
>
> static inline void __flush_tlb_all(void)
> {
> + if (boot_cpu_has(X86_FEATURE_PGE)) {
> __flush_tlb_global();
> + } else {
> __flush_tlb();
> + tlb_flush_shared_nonglobals();I do however think this one is superfluous; if we do not have PGE we also do not have PCID and every CR3 switch flushes everything. > + } > }

