tlb_flush_pte
tlb_flush_pte(va, pm->pm_ctx);
tlb_flush_pte(va, pm->pm_ctx);
tlb_flush_pte(va, pm->pm_ctx);
tlb_flush_pte(sva, pm->pm_ctx);
tlb_flush_pte((pv->pv_va & PV_VAMASK),
tlb_flush_pte(pv->pv_va & PV_VAMASK, pv->pv_pmap->pm_ctx);
tlb_flush_pte(pv->pv_va & PV_VAMASK, pv->pv_pmap->pm_ctx);
tlb_flush_pte(pv->pv_va & PV_VAMASK,
tlb_flush_pte(va, pv->pv_pmap->pm_ctx);