L1_TABLE
TATTR_AP_TABLE_NO_EL0 | L1_TABLE;
MPASS((l1e & ATTR_DESCR_MASK) == L1_TABLE);
state->table_attrs | L1_TABLE);
pmap_store(l1, L1_TABLE | PHYS_TO_PTE(
pmap_store(l1, L1_TABLE | PHYS_TO_PTE(
pmap_store(l1, VM_PAGE_TO_PTE(m) | L1_TABLE);
if (l1 != NULL && (pmap_load(l1) & ATTR_DESCR_MASK) == L1_TABLE) {
pmap_store(l1, VM_PAGE_TO_PTE(nkpg) | L1_TABLE);
if ((pmap_load(l1) & ATTR_DESCR_MASK) != L1_TABLE)
if (desc != L1_TABLE) {
if (desc != L1_TABLE) {
if (desc == L1_TABLE && level > 1) {
if ((pmap_load(l1p) & ATTR_DESCR_MASK) != L1_TABLE)
pmap_update_entry(pmap, l1, l2phys | L1_TABLE, va, PAGE_SIZE);
pmap_store(l1, VM_PAGE_TO_PTE(m) | L1_TABLE);
#define L2_TABLE L1_TABLE
case L1_TABLE:
new_l1e = VM_PAGE_TO_PHYS(m) | L1_TABLE;
MPASS((l1e & ATTR_DESCR_MASK) == L1_TABLE);