vtopte
pt_entry_t * const ptep = vtopte(sa110_cc_base + loop);
pt_entry_t * const ptep = vtopte((vaddr_t) dev->sc_bump_va);
pt_entry_t * const ptep = vtopte((vaddr_t) dev->sc_bump_va);
pte = vtopte(va);
pt_entry_t * const ptep = vtopte(va);
pt_entry_t * const ptep = vtopte(ixp12x0_cc_base + loop);
vaddr = (vaddr_t)vtopte(0);
pt_entry_t *ptep = vtopte(va);
KASSERT(ptep + size / L2_S_SIZE == vtopte(va + size));
PTE_SYNC_RANGE(vtopte(va), size >> L2_S_SHIFT);
pt_entry_t *ptep = vtopte(va);
PTE_SYNC_RANGE(vtopte(va), size >> L2_S_SHIFT);
pte = *vtopte(va);
pte = vtopte(va);
pte = vtopte(va);
pte = vtopte(va);
pte = vtopte(va);