L0_TABLE
TATTR_AP_TABLE_NO_EL0 | L0_TABLE;
MPASS((l0e & ATTR_DESCR_MASK) == L0_TABLE);
TATTR_UXN_TABLE | TATTR_AP_TABLE_NO_EL0 | L0_TABLE);
pmap_store(l0, L0_TABLE | PHYS_TO_PTE(
pmap_store(l0, L0_TABLE | PHYS_TO_PTE(
l0e = VM_PAGE_TO_PTE(m) | L0_TABLE;
if ((pmap_load(l0) & ATTR_DESCR_MASK) != L0_TABLE)
if (desc != L0_TABLE) {
if (desc == L0_TABLE && level > 0) {
if ((pmap_load(l0p) & ATTR_DESCR_MASK) != L0_TABLE)
#define L1_TABLE L0_TABLE
if ((pte & ATTR_DESCR_MASK) != L0_TABLE)
new_l0e = VM_PAGE_TO_PHYS(m) | L0_TABLE;
MPASS((l0e & ATTR_DESCR_MASK) == L0_TABLE);