On Wed, 9 May 2018 08:46:08 -0700 Dave Hansen <dave.han...@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
