PTE_PO_IDX_MASK
PTE_GP | PTE_ATTRINDX_MASK | PTE_PO_IDX_MASK;
por_el0_allows_pkey(FIELD_GET(PTE_PO_IDX_MASK, pte_val(pte)), write, false))
idx = FIELD_GET(PTE_PO_IDX_MASK, wr->desc);