pte1_index
pte1_idx = pte1_index(KERNBASE - PT2MAP_SIZE);
m->pindex = pte1_index(kernel_vm_end) & ~PT2PG_MASK;
pt2_pa = page_pt2pa(pt2pg_pa, pte1_index(kernel_vm_end));
idx = pte1_index(sva);
count = (pte1_index(eva) - idx + 1) * sizeof(pt1_entry_t);
start = pte1_index(KERNBASE) * sizeof(pt1_entry_t);
end = (pte1_index(0xFFFFFFFF) + 1) * sizeof(pt1_entry_t);
return (m->md.pt2_wirecount[pte1_index(va) & PT2PG_MASK] == 0);
return (m->md.pt2_wirecount[pte1_index(va) & PT2PG_MASK] ==
pte1_idx = pte1_index(va);
pte1_idx = pte1_index(va);
KASSERT(m->pindex == (pte1_index(va) & ~PT2PG_MASK),
pt2_wirecount_dec(m, pte1_index(va));
u_int pte1_idx = pte1_index(va);
#define pa_to_pvh(pa) (&pv_table[pte1_index(pa - first_managed_pa)])
KASSERT(m->pindex == (pte1_index(va) & ~PT2PG_MASK),
pte1_idx = pte1_index(va);
m->pindex = pte1_index(va) & ~PT2PG_MASK;
pt2_wirecount_get(m, pte1_index(va))));
pte1_idx = pte1_index(va);
pt2_wirecount_dec(mpte2, pte1_index(va));
pte1_idx = pte1_index(va);
pt2_wirecount_dec(mpt2pg, pte1_index(va));
pte1_idx = pte1_index(addr);
pt2_wirecount_get(m, pte1_index(va)));
start = pte1_index((vm_offset_t)PT2MAP);
pte2p = page_pt2(pt2pg_va, pte1_index((vm_offset_t)kern_pt1));
pt2_pa = page_pt2pa(pt2pg_pa, pte1_index(va));
return (pt1 + pte1_index(va));