vtopte
KASSERT(*vtopte(qframe) == 0, ("qframe busy"));
pte_store(vtopte(qframe), paddr | X86_PG_RW | X86_PG_V | X86_PG_A |
pte_store(vtopte(qframe), 0);
pte = vtopte(va);
pte = vtopte(vaddr);
pte = vtopte(va);
pte = vtopte(va);
pte = vtopte(va);
pte = vtopte(sva);
pmap_invalidate_page(pmap, (vm_offset_t)vtopte(va));
pmap_invalidate_page(pmap, (vm_offset_t)vtopte(va));
pte = vtopte(va);
pt_entry_t *vtopte(vm_offset_t);
return (vtopte(va));
return (vtopte(va));
pte = vtopte(va);
pte = vtopte(va);
pte = vtopte(va);
pte = vtopte(sva);
pmap_invalidate_page_int(pmap, (vm_offset_t)vtopte(va));
pmap_invalidate_page_int(pmap, (vm_offset_t)vtopte(va));
pte = vtopte(va);
pte = vtopte(tmpva);
pte = vtopte(tmpva);
pte = vtopte(qaddr);
pte = vtopte(qaddr);
*vtopte(va) |= PG_RW;
ptep = vtopte(sf->kva);
for (i = 0, pte = vtopte(kaddr); i < plen; i++, pte++) {
for (pt = vtopte(sva), k = 0; k < NPTEPG; i++, k++, pt++,
pte = vtopte(va);
pc->pc_pmap_eh_ptep = (char *)vtopte(pc->pc_pmap_eh_va);
pc->pc_cmap_pte1 = vtopte(pages);
pc->pc_cmap_pte2 = vtopte(pages + PAGE_SIZE);
pte = vtopte(va);
pte = vtopte(va);