pmap_pte_set
pmap_pte_set(&normal_pdes[level - 1][index], 0);
pmap_pte_set(&pmap->pm_pdir_intel[index], 0);
opte = pmap_pte_set(pte, 0);
opte = pmap_pte_set(pte, 0);
opte = pmap_pte_set(&PTE_BASE[pl1_i(pve->pv_va)], 0);
opte = pmap_pte_set(pte, npte);
opte = pmap_pte_set(pte, 0);
pmap_pte_set(pde, va, 0);
pmap_pte_set(pde, va, pte);
pmap_pte_set(pde, va, pte);
pmap_pte_set(pde, va, pte);
pmap_pte_set(pde, va, 0);
pmap_pte_set(pde, SYSCALLGATE, (paddr_t)&gateway_page |
pmap_pte_set(pde, va, pte);
pmap_pte_set(pde, sva, 0);
pmap_pte_set(pde, va, pte);
pmap_pte_set(pde, sva, pte);
pmap_pte_set(va, lapic_base, PG_RW | PG_V | PG_N);
bits = pmap_pte_set(va, pa, ((prot & PROT_WRITE) ? PG_RW : PG_RO) |
bits = pmap_pte_set(va, 0, 0);