pde_store
pde_store(pde, 0);
pde_store(pde, newpde);
pde_store(pde, newpdir);
pde_store(pde, newpdir);
pde_store(pde, newpde);
pde_store(pde, newpde);
pde_store(pde, PG_PROMOTED | PG_PS | newpde);
pde_store(pde, newpde);
pde_store(pde, pa | PG_PS | PG_M | PG_A |
pde_store(pde, newpde);
pde_store(pde, act->newpde);
pde_store(act->pde, act->newpde);
pde_store(pde, newpde);
pde_store(pde, newpde);
pde_store(pde, newpde);
pde_store(pde, PG_PROMOTED | PG_PS | newpde);
pde_store(pde, newpde);
pde_store(pde, pa | PG_PS | PG_M | PG_A |
pde_store(pte, page);
pde_store(pte, page);
pde_store(pte, page);
pde_store(l2e, paddr);
pde_store(l3e, paddr);
pde_store(l1e, VM_PAGE_TO_PHYS(m));
pde_store(l2e, VM_PAGE_TO_PHYS(m));
pde_store(l3e, VM_PAGE_TO_PHYS(m));
pde_store(l3e, mptepa);
pde_store(l3e, mptepa);
pde_store(l2e, pdpgpa);
pde_store(l2e, (pml2_entry_t)pa);