vtopte
ptep = vtopte(va);
vaddr_t ptpva = (vaddr_t)vtopte(0);
pte = vtopte(ptpva);
pt_entry_t pte, *ptep = vtopte(va);
pt_entry_t *ptep = vtopte(va);
pt_entry_t *ptep = vtopte(va);
pt_entry_t *ptep = vtopte(va);
return ((*vtopte(va) & PG_FRAME) | (va & ~PG_FRAME));
vaddr_t ptpva = (vaddr_t)vtopte(0);
pte = vtopte(ptpva);
return ((*vtopte(va) & PG_FRAME) | (va & ~PG_FRAME));
pt_entry_t pte, *ptep = vtopte(va);
pt_entry_t *ptep = vtopte(va);
pt_entry_t *ptep = vtopte(va);
pt_entry_t *ptep = vtopte(va);
pmap_pte_set_86((vaddr_t)vtopte(va),
csrc_pte = vtopte(pmap_csrcp);
cdst_pte = vtopte(pmap_cdstp);
zero_pte = vtopte(pmap_zerop);
ptp_pte = vtopte(pmap_ptpp);
flsh_pte = vtopte(pmap_flshp);