TATTR_UXN_TABLE
*l0 = PHYS_TO_PTE(mphys) | TATTR_UXN_TABLE |
*l1 = PHYS_TO_PTE(mphys) | TATTR_UXN_TABLE |
*l2 = PHYS_TO_PTE(mphys) | TATTR_UXN_TABLE |
if ((table & TATTR_UXN_TABLE) != 0)
TATTR_UXN_TABLE | TATTR_AP_TABLE_NO_EL0 | L0_TABLE);
l0e |= TATTR_UXN_TABLE | TATTR_AP_TABLE_NO_EL0;
(pte & TATTR_UXN_TABLE) != 0) ||