L1_BASE
if (!pmap_valid_entry(L1_BASE[pl1_i(va)])) {
L1_BASE[pl1_i(va)] = pa | pteflags | pmap_pg_g;
if (!pmap_valid_entry(L1_BASE[pl1_i(va)])) {
L1_BASE[pl1_i(va)] = pa | pteflags | pmap_pg_g;
#define L2_BASE ((pd_entry_t *)((char *)L1_BASE + L4_SLOT_PTE * NBPD_L3))
#define L2_BASE ((pd_entry_t *)((char *)L1_BASE + L4_SLOT_PTE * NBPD_L3))
#define L2_BASE ((pd_entry_t *)((char *)L1_BASE + L2_SLOT_PTE * NBPD_L1))
pte = L1_BASE[pl1_i(va)] & ~PTE_D;
pmap_pte_set(&L1_BASE[pl1_i(va)], pte);
KASSERT(L1_BASE[L1e_idx+i] == 0);
srcpde = L1_BASE;
if (pmap_valid_entry(L1_BASE[pl1_i(utlsva)])) {
KASSERT(*pte == L1_BASE[pl1_i(va)]);
*pte = L1_BASE[pl1_i(va)];