Re: [PATCH v3] powerpc, pkey: make protection key 0 less special
From: Dave Hansen <hidden>
Date: 2018-05-09 15:46:11
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