por_el0_allows_pkey
return por_el0_allows_pkey(vma_pkey(vma), write, execute);
por_el0_allows_pkey(FIELD_GET(PTE_PO_IDX_MASK, pte_val(pte)), write, false))