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));