L2_TABLE
TATTR_AP_TABLE_NO_EL0 | L2_TABLE;
} else if ((l2e & ATTR_DESCR_MASK) == L2_TABLE) {
MPASS((l2e & ATTR_DESCR_MASK) == L2_TABLE);
state->table_attrs | L2_TABLE);
pmap_store(l2, VM_PAGE_TO_PTE(m) | L2_TABLE);
pmap_store(l2, VM_PAGE_TO_PTE(nkpg) | L2_TABLE);
newl2 = PHYS_TO_PTE(ml3pa) | L2_TABLE;
if ((l3_paddr & ATTR_DESCR_MASK) != L2_TABLE)
KASSERT((pmap_load(l2) & ATTR_DESCR_MASK) == L2_TABLE,
L2_TABLE,
KASSERT((pmap_load(l2) & ATTR_DESCR_MASK) == L2_TABLE,
if (desc != L2_TABLE) {
KASSERT((srcptepaddr & ATTR_DESCR_MASK) == L2_TABLE,
if (desc != L2_TABLE) {
else if (desc == L2_TABLE && level > 2) {
KASSERT((pmap_load(l2) & ATTR_DESCR_MASK) == L2_TABLE,
if ((pmap_load(l2p) & ATTR_DESCR_MASK) != L2_TABLE)
pmap_update_entry(pmap, l2, l3phys | L2_TABLE, va, PAGE_SIZE);
pmap_store(l2, VM_PAGE_TO_PTE(m) | L2_TABLE);
new_l2e = VM_PAGE_TO_PHYS(m) | L2_TABLE;
MPASS((l2e & ATTR_DESCR_MASK) == L2_TABLE);