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

On Wed, 9 May 2018 08:46:08 -0700
Dave Hansen [off-list ref] wrote:

On 05/09/2018 08:43 AM, Michal Such=C3=A1nek wrote:

quoted

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. =20

=20
Does the manpage not count as documentation?  :)
=20
"pkey 0 is used as the default key"
=20
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