PMD_TABLE_UXN
PMD_TYPE_TABLE | PMD_TABLE_AF | PMD_TABLE_UXN);
PMD_TYPE_TABLE | PMD_TABLE_UXN);
wr->UXNTable |= FIELD_GET(PMD_TABLE_UXN, desc);
pmdval_t pmdval = PMD_TYPE_TABLE | PMD_TABLE_UXN | PMD_TABLE_AF;
pmdval_t tableprot = PMD_TYPE_TABLE | PMD_TABLE_UXN | PMD_TABLE_AF;