gpte_pkeys        282 arch/x86/kvm/paging_tmpl.h static inline unsigned FNAME(gpte_pkeys)(struct kvm_vcpu *vcpu, u64 gpte)
gpte_pkeys        411 arch/x86/kvm/paging_tmpl.h 	pte_pkey = FNAME(gpte_pkeys)(vcpu, pte);