VA2PA
va2pa_offset = (vaddr_t)kernel_text - VA2PA(kernel_text);
(VA2PA((void *)sc) >> SRMMU_PPNPASHIFT) |
pm->pm_reg_ptps_pa[n] = VA2PA((char *)upt);
(VA2PA((void *)ptd) >> SRMMU_PPNPASHIFT) |
(VA2PA((void *)pte) >> SRMMU_PPNPASHIFT) | SRMMU_TEPTD);
pm->pm_reg_ptps_pa[cpu] != VA2PA((void *)pm->pm_reg_ptps[cpu])))
(cpuinfo.ctx_tbl[pm->pm_ctxnum] != ((VA2PA((void *)pm->pm_reg_ptps[cpu])
pm->pm_reg_ptps[cpu][vr] != ((VA2PA((void *)rp->rg_seg_ptps) >>
((VA2PA((void *)sp->sg_pte)
pm->pm_reg_ptps_pa[cpu] != VA2PA((void *)pm->pm_reg_ptps[cpu])))
(cpuinfo.ctx_tbl[0] != ((VA2PA((void *)pm->pm_reg_ptps[cpu]) >>
static u_int VA2PA(void *);
pm->pm_reg_ptps[cpu][vr] != ((VA2PA((void *)rp->rg_seg_ptps) >>
if (VA2PA((void *)addr) != VA2PAsw(0, (void *)addr, &ptesw)) {