pmap_pte_set
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, sva, pte);
pmap_pte_set(pde, va, 0);
static inline void pmap_pte_set(volatile pt_entry_t *, vaddr_t, pt_entry_t);
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, pva, 0);
pmap_pte_set(pt, &source_pvo->pvo_pte);
pmap_pte_set(pt, pvo_pt);
pmap_pte_set(pt, pvo_pt);
pmap_pte_set(pt, pvo_pt);
pmap_pte_set(&L2_BASE[pl2_i(va)], pte);
pmap_pte_set(&L1_BASE[pl1_i(va)], pte);
pmap_pte_set(pte, npte);
pmap_pte_set(&pva[index], (pd_entry_t)
pmap_pte_set(pte, *pte | PTE_W);
pmap_pte_set(zpte, pmap_pa2pte(pa) | pteflags);
pmap_pte_set(zpte, 0); /* zap ! */
pmap_pte_set(srcpte, pmap_pa2pte(srcpa) | pteflags);
pmap_pte_set(dstpte, pmap_pa2pte(dstpa) | pteflags | PTE_D);
pmap_pte_set(srcpte, 0);
pmap_pte_set(dstpte, 0);
pmap_pte_set(ptppte, pmap_pa2pte(VM_PAGE_TO_PHYS(ptp)) | pteflags);
pmap_pte_set(pte, 0);
pmap_pte_set(early_zero_pte, pmap_pa2pte(pa) | PTE_P |
pmap_pte_set(early_zero_pte, 0);
pmap_pte_set(&pdep[i], pte);
pmap_pte_set(cpu_pdep, pte);
pmap_pte_set(&pm->pm_pdir[pdkidx],
pmap_pte_set(&pteva[index], ptepa | EPT_R | EPT_W | EPT_X);