TATTR_AP_TABLE_NO_EL0
TATTR_AP_TABLE_NO_EL0 | L0_TABLE;
TATTR_AP_TABLE_NO_EL0 | L1_TABLE;
TATTR_AP_TABLE_NO_EL0 | L2_TABLE;
TATTR_UXN_TABLE | TATTR_AP_TABLE_NO_EL0 | L0_TABLE);
l0e |= TATTR_UXN_TABLE | TATTR_AP_TABLE_NO_EL0;
(pte & TATTR_AP_TABLE_NO_EL0) != 0)