On Wed, 21 Jun 2017, Thomas Gleixner wrote: > 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. And what happens on kexec etc? We need to reset the asid and PCIDE I assume. Thanks, tglx -- 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>