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()
275 unsigned pte_access, unsigned pte_pkey, in permission_fault() argument323 pkru_bits = (vcpu->arch.pkru >> (pte_pkey * 2)) & 3; in permission_fault()
324 unsigned index, accessed_dirty, pte_pkey; in FNAME() local 443 pte_pkey = FNAME(gpte_pkeys)(vcpu, pte); in FNAME() 448 errcode = permission_fault(vcpu, w, walker->pte_access, pte_pkey, access); in FNAME()