pmap_update_entry
pmap_update_entry(kernel_pmap, pde,
pmap_update_entry(pmap, l2, newl2 | L2_BLOCK, va & ~L2_OFFSET, L2_SIZE);
static void pmap_update_entry(pmap_t pmap, pd_entry_t *pte, pd_entry_t newpte,
pmap_update_entry(kernel_pmap, ptep, pte, tmpva,
pmap_update_entry(pmap, l1, l2phys | L1_TABLE, va, PAGE_SIZE);
pmap_update_entry(pmap, l2, l3phys | L2_TABLE, va, PAGE_SIZE);