pte_flags_pkey   1441 arch/x86/include/asm/pgtable.h 	return __pkru_allows_pkey(pte_flags_pkey(pteval), write);
pte_flags_pkey    288 arch/x86/kvm/paging_tmpl.h 	pkeys = pte_flags_pkey(pte_flags(pte));