[PATCH v3] powerpc, pkey: make protection key 0 less special

[Michal Suchánek]

On Wed, 9 May 2018 08:46:08 -0700
Dave Hansen <dave.hansen at intel.com> wrote:

> On 05/09/2018 08:43 AM, Michal Suchánek wrote:
> > It seems it is somehow assumed this is key 0 but I did not find it
> > documented anywhere nor did I notice an interface for determining
> > the default key.  
> 
> Does the manpage not count as documentation?  :)
> 
> "pkey 0 is used as the default key"
> 
> https://manpages.debian.org/stretch/manpages/pkeys.7.en.html

I happened to be reading Documentation/x86/protection-keys.txt which is
much more terse. The man page is certainly clearer.

Thanks

Michal