pte_flags_pkey
return __pkru_allows_pkey(pte_flags_pkey(pteval), write);
pkeys = pte_flags_pkey(pte_flags(pte));