On Tue, 20 Jun 2017, Andy Lutomirski wrote: > + /* Set up PCID */ > + if (cpu_has(c, X86_FEATURE_PCID)) { > + if (cpu_has(c, X86_FEATURE_PGE)) { > + cr4_set_bits(X86_CR4_PCIDE); So I assume that you made sure that the PCID bits in CR3 are zero under all circumstances as setting PCIDE would cause a #GP if not. Reviewed-by: Thomas Gleixner <tglx@xxxxxxxxxxxxx> -- To unsubscribe, send a message with 'unsubscribe linux-mm' in the body to majordomo@xxxxxxxxx. For more info on Linux MM, see: http://www.linux-mm.org/ . Don't email: <a href=mailto:"dont@xxxxxxxxx"> email@xxxxxxxxx </a>