pkey_access_permitted  383 arch/powerpc/mm/book3s64/pkeys.c 	return pkey_access_permitted(pte_to_pkey_bits(pte), write, execute);
pkey_access_permitted  417 arch/powerpc/mm/book3s64/pkeys.c 	return pkey_access_permitted(vma_pkey(vma), write, execute);