pte_store
pte_store(pte, va | bits);
pte_store(pte, bits);
pte_store(vtopte(qframe), paddr | X86_PG_RW | X86_PG_V | X86_PG_A |
pte_store(vtopte(qframe), 0);
pte_store(pte, ptev);
pte_store(pte, spa | pte_bits);
pte_store(pte, pa | pg_g | pg_nx | X86_PG_A | X86_PG_M |
pte_store(pte, pa | pg_g | pg_nx | X86_PG_A | X86_PG_M |
pte_store(pte, pa | pg_g | pg_nx | X86_PG_A |
pte_store(pte, newpte);
pte_store(pte, newpte);
#define pte_clear(ptep) pte_store(ptep, 0)
#define pde_store(pdep, pde) pte_store(pdep, pde)
pte_store(pte, pa | PG_RW | PG_V);
pte_store(pte, pa | PG_RW | PG_V | pmap_cache_bits(kernel_pmap,
pte_store(pte, pa | pg_nx | PG_RW | PG_V);
pte_store(&trm_pte[atop(af - prev_addr)], VM_PAGE_TO_PHYS(m) |
#define pte_clear(ptep) pte_store(ptep, 0)
#define pde_store(pdep, pde) pte_store(pdep, pde)
#define pte_store_zero(ptep, pte) pte_store(ptep, pte)
pte_store(pte, pteval);
pte_store(pde, PG_PROMOTED | newpde);
pte_store(pte, newpte);
pte_store(l3e, newpde);
pte_store(pte, pa);
pte_store(l3e, pa);
pte_store(pte, pa);
pte_store(pte, pteval | cache_bits);
pte_store(pde, newl3);