Re: [PATCH] x86/pti: Add pti= cmdline option and documentation

[Will Deacon <will.deacon@arm.com>]

On Tue, Dec 12, 2017 at 02:28:56PM +0000, Will Deacon wrote:
> On Tue, Dec 12, 2017 at 02:39:52PM +0100, Borislav Petkov wrote:
> > From: Borislav Petkov <bp@suse.de>
> > 
> > Keep the "nopti" for traditional reasons.
> > 
> > Requested-by: Linus Torvalds <torvalds@linux-foundation.org>
> > Signed-off-by: Borislav Petkov <bp@suse.de>
> > Cc: Linus Torvalds <torvalds@linux-foundation.org>
> > Cc: Andy Lutomirsky <luto@kernel.org>
> > Cc: Peter Zijlstra <peterz@infradead.org>
> > Cc: Dave Hansen <dave.hansen@intel.com>
> > Cc: Greg KH <gregkh@linuxfoundation.org>
> > Cc: keescook@google.com
> > Cc: hughd@google.com
> > Cc: Brian Gerst <brgerst@gmail.com>
> > Cc: Josh Poimboeuf <jpoimboe@redhat.com>
> > Cc: Denys Vlasenko <dvlasenk@redhat.com>
> > Cc: Boris Ostrovsky <boris.ostrovsky@oracle.com>
> > Cc: Juergen Gross <jgross@suse.com>
> > Cc: David Laight <David.Laight@aculab.com>
> > Cc: Eduardo Valentin <eduval@amazon.com>
> > Cc: aliguori@amazon.com
> > Cc: Will Deacon <will.deacon@arm.com>
> > Cc: daniel.gruss@iaik.tugraz.at
> > ---
> >  Documentation/admin-guide/kernel-parameters.txt |  6 ++++++
> >  arch/x86/mm/pti.c                               | 18 ++++++++++++++++++
> >  2 files changed, 24 insertions(+)
> 
> On arm64, I've gone for kpti=. I'm happy to change this to align with x86,
> but the patches are queued now so I don't want to keep changing it.
> 
> Is "pti=" definitely what you're going for on x86?

It was pointed out to me yesterday that "kpti" can be pronounced "cuppatea",
whereas "pti" doesn't roll off the tongue nearly so easily this side of the
pond.

But I would still like to avoid divergence on the name.

Will