Searched refs:pte_pkey (Results 1 – 3 of 3) sorted by relevance
19 unsigned long pte_pkey; in pte_to_hpte_pkey_bits() local21 pte_pkey = (((pteflags & H_PTE_PKEY_BIT4) ? HPTE_R_KEY_BIT4 : 0x0UL) | in pte_to_hpte_pkey_bits()29 if ((pte_pkey == 0) && (flags & HPTE_USE_KERNEL_KEY)) in pte_to_hpte_pkey_bits()33 return pte_pkey; in pte_to_hpte_pkey_bits()
172 unsigned pte_access, unsigned pte_pkey, in permission_fault() argument211 pkru_bits = (vcpu->arch.pkru >> (pte_pkey * 2)) & 3; in permission_fault()
311 unsigned index, accessed_dirty, pte_pkey; in FNAME() local431 pte_pkey = FNAME(gpte_pkeys)(vcpu, pte); in FNAME()436 errcode = permission_fault(vcpu, mmu, walker->pte_access, pte_pkey, access); in FNAME()