vma_pkey
return por_el0_allows_pkey(vma_pkey(vma), write, execute);
return vma_pkey(vma);
pkey = vma_pkey(vma);
pkey = vma_pkey(vma);
return (vma_pkey(vma) == vma->vm_mm->context.execute_only_pkey);
return vma_pkey(vma);
return pkey_access_permitted(vma_pkey(vma), write, execute);
pkey = vma_pkey(vma);
return __pkru_allows_pkey(vma_pkey(vma), write);
u32 pkey = vma_pkey(vma);
return vma_pkey(vma);
if (vma_pkey(vma) != vma->vm_mm->context.execute_only_pkey)
seq_printf(m, "ProtectionKey: %8u\n", vma_pkey(vma));